Algebraic specification language



algebraic specification language

1. (ASL)
[“Structured Algebraic Specifications: A Kernel Language”, M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986].
2. (ASF) A language for equational specification of abstract data types.
[“Algebraic Specification”, J.A. Bergstra et al, A-W 1989].
(1995-12-13)

Tagged:

Read Also:

  • Algebraic structure

    algebraic structure mathematics Any formal mathematical system consisting of a set of objects and operations on those objects. Examples are Boolean algebra, numerical algebra, set algebra and matrix algebra. [Is this the most common name for this concept?] (1997-02-25)

  • Algebraic topology

    the branch of mathematics that deals with the application of algebraic methods to topology, especially the study of homology and homotopy.



  • Algebraically

    of, occurring in, or utilizing . Mathematics. of or relating to an element that is the root of a polynomial equation with coefficients from some given field: is algebraic over the field of real numbers. using arbitrary letters or symbols in place of the letters, symbols, or numbers of an actual application. Historical Examples The […]

  • Algebraically closed field

    a field in which every polynomial equation with coefficients that are elements of the field has at least one root in the field, as the field of complex numbers.



Disclaimer: Algebraic specification language definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.