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