Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

An Introduction to the Algebraic Specification of Abstract Data Types

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.