next up previous
Next: The Signature

An Introduction to the Algebraic Specification of Abstract Data Types

Jean Baillie
Department of Computer Science
University of Hertfordshire

December 1992


The technique of algebraic specification of abstract data types is introduced informally beginning with the Signature. Homomorphisms are introduced as structure-preserving relationships between algebras of the signature. We show how equations may be used to quotient the term algebra and provide a sound though not complete proof system. Initial and final semantics are discussed as candidates for the meaning of the specification.

Jean Baillie
Thu May 23 16:30:42 BST 1996