Next:
Introduction
Up:
No Title
Previous:
Additional Problems 7.: Improvements
Algebraic Specification of Abstract Data Types
Introduction
Specification of Abstract Data Types
Sorts and Types of Interest
The Syntax of the Operations
Constructors and Accessors
Exercises
Semantic Specification in Modula-2 and Ada
Algebraic Specification of Abstract Data Types
An Algebraic Specification Language
Pre-defined Types
Algebraic Specification of an Unbounded Stack
The Operations and their Syntax
Sorts
Axioms for the Unbounded Stack
Interpretations of a Signature
Comparison with VDM
Completeness
Examples of Evaluations
Example 1
Example 2
Axioms and Term Rewriting
Pattern Matching and Unification
Term Rewriting Example
Term Rewriting for Stack
Summary
Lee McCluskey
2002-12-18