|Q: tools for denotational semantics? email@example.com (1994-01-10)|
|Re: Q: tools for denotational semantics? firstname.lastname@example.org (1994-01-19)|
|From:||email@example.com (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.
Return to the
Search the comp.compilers archives again.