You are here: irt.org | FOLDOC | Algebraic Specification Language
1. <language> (ASL)
["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2. <language> (ASF) A language for equational specification of abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
(1995-12-13)
Nearby terms: Algebraic Interpretive Dialogue « Algebraic Logic Functional language « Algebraic Manipulation Package « Algebraic Specification Language » algebraic structure » Algebra of Communicating Processes » ALGOL
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL