Algebraic Specification Language
Technology Dictionary
-> Algebraic Specification Language
Search:
Algebraic Specification Language
1.
(ASL)
["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2.
(ASF) A language for equational specification of abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
(1995-12-13)
©
Art Branch Inc.
SQL Tutorial