Encyclopedia

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)

Mentioned in

References in periodicals archive

In the knowledge base, all the specifications and their refinements are formally described in CASL (common algebraic specification language) [6].

Knowledge-based support for object-oriented software design and synthesis: a category theoretic approach

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.