Chapter 2
Abstract Data Types

Overview

The theoretical concept of abstract data types provides a useful tool for program development. Following the principles of abstract data type design ensures a clear separation of specification and implementation.

Abstract data types are defined in terms of type names, function names, and equations. These can be realized in Mathematica very easily. The equations become rewrite rules. Mathematica interactive nature makes it well suited for rapid prototyping and testing of designs.

Programs

Nat1.m

Modular.m

Lisp.m

Color Plates

Plate 6