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 |
