COMPILERS FROM DENOTATIONAL SEMANTICS

aet@mullian.ee.mu.OZ.AU (bert thompson)
Mon, 7 Sep 1992 03:31:15 GMT

          From comp.compilers
Related articles
COMPILERS FROM DENOTATIONAL SEMANTICS aet@mullian.ee.mu.OZ.AU (1992-09-07)
Re: COMPILERS FROM DENOTATIONAL SEMANTICS ivanov@osf.org (1992-09-08)
| List of all articles for this month |
Newsgroups: comp.compilers,comp.theory
From: aet@mullian.ee.mu.OZ.AU (bert thompson)
Organization: Computer Science, University of Melbourne, Australia
Date: Mon, 7 Sep 1992 03:31:15 GMT
Keywords: denotational semantics, question

Could someone please tell me if there are any tools out there that will
accept the denotational semantics of a computer language and then produce
from it an interpreter or a compiler in a high-level language.


Cheers!


bert.


--
bert thompson aet@munagin.ee.mu.oz.au.
SITEE school of information technology and electrical engineering
university of melbourne
--

Post a followup to this message

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