ASL ==>
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)
Nearby terms:
Algebraic Interpretive Dialogue « Algebraic Logic
Functional language « Algebraic Manipulation Package
« Algebraic Specification Language »
algebraic structure » Algebra of Communicating
Processes » ALGOL
|