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!ima!compilers
From: compilers@ima.UUCP
Newsgroups: mod.compilers
Subject: Re: denotational semantics
Message-ID: <136300056@ima.UUCP>
Date: Tue, 14-Jan-86 21:58:00 EST
Article-I.D.: ima.136300056
Posted: Tue Jan 14 21:58:00 1986
Date-Received: Thu, 16-Jan-86 01:31:58 EST
Lines: 15
Approved: compilers@ima.uucp
Nf-ID: #N:ima:136300056:000:706
Nf-From: ima!compilers    Jan 14 21:58:00 1986


[from harvard!seismo!utah-cs!utah-gr!peter (Peter S. Ford)]

Organization: University of Utah CS Dept
If you are interested in using a denotational specification to build a compiler
you might be interested in Lawrence Paulson's Stanford PhD. thesis on 
"semantic grammars" which are an agglomeration of attribute grammars and
denotational semantics.  At one point he was distributing his work (several
large pascal programs).  See Stanford CS report 82-893 for his thesis and look 
in the 1982 POPL for a short paper.

Moses SIS system is documented in a report from Aarhus University, published
as a refernce guide in 1979.  I believe the report is numbered as DAIMI MD-30.

Peter S. Ford	(peter@utah-cs)