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].

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.

  • Algebraist

    an expert in . Historical Examples Like the great French algebraist, Vieta, from whom he drew much of his inspiration, he was an amateur mathematician. William Oughtred Florian Cajori The problem is of course (as any algebraist sees at once) a case of “simultaneous simple equations.” A Tangled Tale Lewis Carroll

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.