Q: tools for denotational semantics?

oz@ursa.sis.yorku.ca (Ozan S. Yigit)
Mon, 10 Jan 1994 20:41:26 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: oz@ursa.sis.yorku.ca (Ozan S. Yigit)
Keywords: question, denotational semantics
Organization: The Electric Skillet
Date: Mon, 10 Jan 1994 20:41:26 GMT

I am interested in any publicly-available tools for working with
denotational semantics. I am aware of a compiler-compiler done as a
thesis project during the eighties [do not have the exact reference
handy] but I have no idea what is currently available. any pointers
would be much appreciated.


oz
--

Post a followup to this message

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