algebraic specification language

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

Algebraic Specification Language

   1. <language> (ASL)

   ["Structured Algebraic Specifications: A Kernel Language",
   M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].

   2. <language> (ASF) A language for equational specification of
   {abstract data types}.

   ["Algebraic Specification", J.A. Bergstra et al, A-W 1989].

   (1995-12-13)