Re: Q: tools for denotational semantics?

greg@cee.hw.ac.uk
Wed, 19 Jan 1994 17:15:07 GMT

          From comp.compilers
Related articles
Q: tools for denotational semantics? oz@ursa.sis.yorku.ca (1994-01-10)
Re: Q: tools for denotational semantics? greg@cee.hw.ac.uk (1994-01-19)
| List of all articles for this month |
Newsgroups: comp.compilers
From: greg@cee.hw.ac.uk
Keywords: denotational semantics, bibliography
Organization: Dept of Computing and Elec Eng, Heriot-Watt University, Scotland
References: 94-01-036
Date: Wed, 19 Jan 1994 17:15:07 GMT

There's a summary & bibliography in my PhD thesis: Interpreter Prototypes
from Formal Language Definitions, 1993. I'll post relevant chunks to the
net if anyone's interested.


Greg Michaelson
--

Post a followup to this message

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