Compiler Theory Book Review: Programming Language Semantics - Imperative and Object Oriented Languages

"Quinn Tyler Jackson" <qjackson@wave.home.com>
29 Oct 1999 02:37:16 -0400

          From comp.compilers
Related articles
Compiler Theory Book Review: Programming Language Semantics - Imperati qjackson@wave.home.com (Quinn Tyler Jackson) (1999-10-29)
| List of all articles for this month |
From: "Quinn Tyler Jackson" <qjackson@wave.home.com>
Newsgroups: comp.compilers
Date: 29 Oct 1999 02:37:16 -0400
Organization: Compilers Central

Date: Thu, 28 Oct 1999 21:33:44 -0700
Keywords: books, theory


Programming Language Semantics - Imperative and Object Oriented Languages
Bjørn Kirkerud
International Thomson Computer Press (1997), pp. 347
ISBN: 1-85035-273-2


Intended for senior undergraduate or beginning graduate students
entering the topic with little or no formal background in the
formalisms of programming language theory, this is a thoroughly
readable introduction to the foundations of semantic design. Kirkerud
does a commendable job of explaining algebras, fixpoint theory,
proof-theoretical semantics, and other important foundations of
semantics theory without overtaxing the reader with eye-gymnastics.
This is, however clearly presented, still a theory book, and therefore
is primarily for those with a keen desire to strengthen their
background in formalisms without learning the Swahili Calculi.


--
Quinn Tyler Jackson
http://www.qtj.net/~quinn/

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.