Denotational Semantics Language




<specification, language> (DSL) The specification language used by the SIS {compiler generator}.

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



< Previous Terms Terms Containing Denotational Semantics Language Next Terms >
DeMorgan's theorem
demo version
Denis Howe
Dennis Ritchie
denotational semantics
DSL
Department of Defense
Department of Defense Network
depeditate
dependability
dependable software