# 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].

["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].

["Algebraic Specification", J.A. Bergstra et al, A-W 1989].

This article is provided by FOLDOC - Free Online Dictionary of Computing (

**foldoc.org**)Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: