denotational semantics language

Từ điển Máy Tính - Foldoc Dictionary

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

Last updated: 1996-10-13