SIS(ID:2827/sis001)

Semantics Implementation System 

Semantics Implementation System

Goal of generating compilers from denotational specifications.

Expanded the program into a lambda calculus expression representing its denotation, which was then  directly interpreted
Related languages
SIS => GRAM   Subsystem
References:
  • Mosses, Peter D. SIS --- semantics implementation system, reference manual and user guide. Technical Report MD-30, DAIMI, Computer Science Department, Aarhus University, Aarhus, Denmark, 1979 view details
  • Michaelson, G. "Interpreters from Functions and Grammars" view details
          in Computer Languages 11(2) view details
  • Palsberg, Jens "A Provably Correct Compiler Generator" view details
          in ESOP '92, Proceedings 4th European Symposium on Programming, Rennes, France, February 1992 view details