Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Algebraic Specification Language

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


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

©2018 Martin Webb