# 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: a

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.