An Introduction to the Algebraic Specification of Abstract Data Types
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Jean Baillie; Dept. of Computer Science, Univ. of Hertfordshire, U.K.|
|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.|
|Math Topics:||Computer Algebra|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.