H ? « ‹ ← → › »

Language peer sets for SIS:
Denmark↑
Denmark/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

SIS(ID:2827/sis001)

Semantics Implementation System 

alternate simple view
Country: Denmark
Designed 1979
Published: 1979

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. (1979) 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
  • Michaelson, G. (1986) Michaelson, G. "Interpreters from Functions and Grammars"
          in (1986) Computer Languages 11(2)
  • Palsberg, Jens (1992) Palsberg, Jens "A Provably Correct Compiler Generator"
          in (1992) ESOP '92, Proceedings 4th European Symposium on Programming, Rennes, France, February 1992
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder