Re: denotational semantics

15 Jan 86 02:58:00 GMT

          From comp.compilers

Related articles
Re: denotational semantics compilers@ima.UUCP (1986-01-07)
Denotational Semantics compilers@ima.UUCP (1986-01-09)
denotational semantics compilers@ima.UUCP (1986-01-10)
Re: denotational semantics compilers@ima.UUCP (1986-01-15)
Denotational semantics compilers@ima.UUCP (1986-01-16)
| List of all articles for this month |

From: compilers@ima.UUCP
Newsgroups: mod.compilers
Date: 15 Jan 86 02:58:00 GMT
Article-I.D.: ima.136300056
Posted: Tue 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)

Post a followup to this message

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