DSL(ID:1982/dsl002)
Specification language
Denotational Semantics Language. Specification language used by the SIS compiler generator.
References:
Mosses, Peter D. Mathematical Semantics and Compiler Generation. D.Phil. dissertation, University of Oxford, 1975. view details
Mosses, Peter D. Compiler generation using denotational semantics. In MFCS'76, Symp. on Math. Foundations of Computer Science, Gdansk, Proceedings, LNCS 45. Springer, 1976. view details
Mosses. Peter D. "SIS, Semantics Implementation System: Reference manual and user guide" DAIMI MD-30 MD-30, Dept. of Computer Science, Univ. of Aarhus, 1979. view details
|