By Letter: Non-alphabet | 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
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions