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].

Nearby terms:
« Dennis Ritchie « denotational semantics « Denotational Semantics Language » Department of Defense » Department of Defense Network » depeditate