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].
| < Previous Terms | Terms Containing Algebraic Specification Language | Next Terms > |
| algebraic algebraic data type Algebraic Interpretive Dialogue Algebraic Logic Functional language Algebraic Manipulation Package | ACT ONE ASF ASL ASL+ GSBL | algebraic structure Algebra of Communicating Processes ALGOL ALGOL 58 ALGOL 60 |
