denotational semantics

compilers@ima.UUCP
10 Jan 86 15:49:00 GMT

          From comp.compilers

Related articles
Re: denotational semantics compilers@ima.UUCP (1986-01-07)
Denotational Semantics compilers@ima.UUCP (1986-01-09)
denotational semantics compilers@ima.UUCP (1986-01-10)
Re: denotational semantics compilers@ima.UUCP (1986-01-15)
Denotational semantics compilers@ima.UUCP (1986-01-16)
| List of all articles for this month |

From: compilers@ima.UUCP
Newsgroups: mod.compilers
Date: 10 Jan 86 15:49:00 GMT
Article-I.D.: ima.136300046
Posted: Fri Jan 10 10:49:00 1986

[from uiucdcs!b.CS.UIUC.EDU!liberte (Daniel LaLiberte)]


Do you have a reference for Peter Mosses' SIS?
I want to build an incremental compiler based on a denotational specification.


Dan LaLiberte
liberte@uiucdcs.Uiuc.ARPA
ihnp4!uiucdcs!liberte





Post a followup to this message

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