[net.general] request for info on SIS and similar systems

greg (04/11/83)

Does anyone know of a version of Mosses's Semantics Implementation
System (SIS) or a similar denotational semantics-driven compiler
generating system that runs under UNIX?  Bodwin, et. al. mention in
an article in the Proceedings of the 1982 SigPlan Compiler Conference
that Mosses is making the system available to interested parties, but
his version is implemented in BCPL.  Thanks in advance for any
information.

					- Greg Johnson
					  U Wis - Madison