Compiler from Denotational Semantics

grant@stretch.cs.mun.ca (Grant Burton)
Wed, 16 May 90 14:10:46 GMT

          From comp.compilers
Related articles
Compiler from Denotational Semantics grant@stretch.cs.mun.ca (1990-05-16)
| List of all articles for this month |
Newsgroups: comp.compilers
From: grant@stretch.cs.mun.ca (Grant Burton)
Organization: CS Dept, Memorial University of Newfoundland
Date: Wed, 16 May 90 14:10:46 GMT
Keywords: question, denotational semantics

Hi,
I am doing a project on denotational semantics. At present
I plan to take a language L (a parallel of C) and writing a denotational
definition D for L. I then transform D to a Miranda script M to get
an interpreter I for L, and maybe if I am lucky a compiler C.
My question is this: Is anybody working on a project like this?
I would like to hear from you.


Thank you,
grant@stretch.cs.mun.ca




Post a followup to this message

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