ASL --> Algebraic Specification Language | computing dictionary |
1. <programming language> (ASL)
["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2. <programming language> (ASF) A language for equational specification of abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989].
Acronym: ASL
(01 Mar 1995)
Algebraic Logic Functional language, Algebraic Manipulation Package < Prev | Next > algebraic structure, Algebra of Communicating Processes
Bookmark with: ![]() ![]() ![]() ![]() ![]() | word visualiser | Go and visit our forums ![]() |