Path: utzoo!yunexus!ists!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!gem.mps.ohio-state.edu!usc!cs.utexas.edu!husc6!spdcc!ima!esegue!compilers-sender
From: pfeiffer@cs.wisc.edu (Phil Pfeiffer)
Newsgroups: comp.compilers
Subject: Book recommendations:  attribute grammars, denotational semantics
Message-ID: <1989Nov17.222400.3335@esegue.segue.boston.ma.us>
Date: 17 Nov 89 22:24:00 GMT
Article-I.D.: esegue.1989Nov17.222400.3335
Sender: compilers-sender@esegue.segue.boston.ma.us
Reply-To: pfeiffer@cs.wisc.edu (Phil Pfeiffer)
Organization: Compilers Central
Lines: 20
Approved: compilers@esegue.segue.boston.ma.us

[ ....  Could someone suggest sources for an up-to-date introduction to 
attribute grammars and denotational sematics for those of us still a 
little hazy on those topics?  -John]

An excellent text on denotational semantics is David Schmidt's _Denotational 
Semantics:  A Methodology for Language Development_.  Allyn and Bacon had been
publishing Schmidt's book, but I think someone else (William C. Brown?) is 
publishing it now.  My copy says "copyright: 1986".

A good description of one approach to using attribute grammars is Thomas 
Reps's and Tim Teitelbaum's _The Synthesizer Generator: A System for 
Constructing Language Based Editors_ (c. 1989, Springer-Verlag).  The book
describes the Synthesizer in detail, but it also discusses AGs and gives
example grammars.

-- Phil
-- 
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue.  Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.