Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: Notesfiles $Revision: 1.6.2.16 $; site ima.UUCP Path: utzoo!decvax!cca!ima!compilers From: compilers@ima.UUCP Newsgroups: mod.compilers Subject: Re: Ganapathi's code generation Message-ID: <136300033@ima.UUCP> Date: Wed, 8-Jan-86 11:32:00 EST Article-I.D.: ima.136300033 Posted: Wed Jan 8 11:32:00 1986 Date-Received: Thu, 9-Jan-86 04:18:07 EST Lines: 14 Approved: compilers@ima.uucp Nf-ID: #N:ima:136300033:000:556 Nf-From: ima!compilers Jan 8 11:32:00 1986 [from ] Organization: Univ of Utah CS Dept Denotational semantics is easy and natural for Lisp hackers, since it's all objects and functions. A corollary is that it gets hairy for Lisp when one starts doing destructive ops and nonlocal jumps, so formal definitions of Common Lisp are hard to find... Stoy's book is a good one, although some dislike it because it's not sufficiently precise... Can anyone refute my gut feeling that attribute grammars are a kludge? I've never found a really solid justification for their existence... stan shebs