Department of Computer Science

University of Hertfordshire

Hatfield

UK

email:E.J.Baillie@herts.ac.uk

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.

- The Signature
- The Algebra
- The Term Algebra
- Homomorphism
- Equations
- The Quotient Term Algebra
- Soundness and Completeness
- The Final Algebra
- Conclusion
- References
- About this document ...

Thu May 23 16:30:42 BST 1996