Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

An Introduction to the Algebraic Specification of Abstract Data Types

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.cs.herts.ac.uk/~jean/algspec/pr.html

Author:Jean Baillie; Dept. of Computer Science, Univ. of Hertfordshire, U.K.
Description: 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. 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.

Levels: College
Languages: English
Math Topics: Computer Algebra

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.