Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

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
 

Discover

     more......