algebraic specification

views updated

algebraic specification A special type of axiomatic specification in which the axioms are equations or conditional equations. See also module specification.