|Compiler from Denotational Semantics email@example.com (1990-05-16)|
|From:||firstname.lastname@example.org (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.
Return to the
Search the comp.compilers archives again.