Algebraic Specification Language

Algebraic Specification Language

(language)
(ASL)

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

Algebraic Specification Language

(language)
(ASF) A language for equational specification of abstract data types.

["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
In the knowledge base, all the specifications and their refinements are formally described in CASL (common algebraic specification language) [6].