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
Hatfield
UK
email:E.J.Baillie@herts.ac.uk

December 1992

Abstract:

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