Compiler from Denotational Semantics (Grant Burton)
Wed, 16 May 90 14:10:46 GMT

          From comp.compilers

Related articles
Compiler from Denotational Semantics (1990-05-16)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Grant Burton)
Organization: CS Dept, Memorial University of Newfoundland
Date: Wed, 16 May 90 14:10:46 GMT
Keywords: question, denotational semantics

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,

Post a followup to this message

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