O'Reilly logo

Design and Analysis of Algorithms by Himanshu B. Dave, Parag H. Dave

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 Introduction

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.1 Comparison with VDM

21.2.2 Completeness

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required