Definition of Denotational semantics language

FOLDOC
Denotational Semantics Language
<specificationlanguage> (DSL) The specification language used by the SIS compiler generator.
["SIS - Semantics Implementation System", P.D. Mosses, TR DAIMI MD-30, Aarhus U, Denmark].
(1996-10-13)

Search Dictionary:
Search Web Search Dictionary