Algebraic Specification Language
<language>
1. (ASL)
["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].<language>
2. (ASF) A language for equational specification of abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].Last updated: 1995-12-13
Nearby terms:
Algebraic Manipulation Package ♦ Algebraic Specification Language ♦ algebraic structure
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading