The Free On-line Dictionary of Computing (30 December 2018):

Denotational Semantics 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)