denotational semantics language

from The Free On-line Dictionary of Computing (8 July 2008)

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

   (1996-10-13)