|Compiler Theory Book Review: Programming Language Semantics - Imperati firstname.lastname@example.org (Quinn Tyler Jackson) (1999-10-29)|
|From:||"Quinn Tyler Jackson" <email@example.com>|
|Date:||29 Oct 1999 02:37:16 -0400|
Date: Thu, 28 Oct 1999 21:33:44 -0700
Keywords: books, theory
Programming Language Semantics - Imperative and Object Oriented Languages
International Thomson Computer Press (1997), pp. 347
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
Return to the
Search the comp.compilers archives again.