Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.6.2.16 $; site ima.UUCP
Path: utzoo!decvax!ima!compilers
From: compilers@ima.UUCP
Newsgroups: mod.compilers
Subject: denotational semantics
Message-ID: <136300046@ima.UUCP>
Date: Fri, 10-Jan-86 10:49:00 EST
Article-I.D.: ima.136300046
Posted: Fri Jan 10 10:49:00 1986
Date-Received: Sat, 11-Jan-86 19:43:13 EST
Lines: 9
Approved: compilers@ima.uucp
Nf-ID: #N:ima:136300046:000:246
Nf-From: ima!compilers    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