# 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)

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