1. Denotational Semantics Language 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].
denotational semantics language |