Denotational Semantics Language

Denotational Semantics Language

(specification, language)(DSL) The specification languageused by the SIS compiler generator.

["SIS - Semantics Implementation System", P.D. Mosses, TRDAIMI MD-30, Aarhus U, Denmark].