Chapter 21
Formal Specifications—2 Algebraic
Objectives
After reading this chapter, you should understand:
- Specification of Abstract Data Types
- Operations and their Syntax
- How an algibraic specification compares with VDM
- Axioms and Term Rewriting
- Pattern Matching and Unification
Chapter Outline
21.1.1 Specification of Abstract Data Types
21.1.2 Algebraic Specification of Abstract Data Types
21.1.3 An Algebraic Specification Language
21.2 Algebraic Specification of an Unbounded Stack
21.2.3 Examples of Evaluations
21.2.4 Axioms and Term Rewriting
21.2.5 Pattern Matching and Unification
21.1 INTRODUCTION
In this chapter, we introduce ...
Get Design and Analysis of Algorithms now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
