Abstract Data Types: Their Specification, Representation, and Use

Front Cover
Clarendon Press, 1988 - Abstract data types (Computer science) - 256 pages
0 Reviews
This volume introduces abstract data types and their use in software engineering. Designed for self-study, the text offers over 100 exercises with fully worked solutions, and check point questions at critical places for monitoring progress. The authors, who base the text on their course at Open University (U.K.), lead students through designing, constructing, and implementing abstract data types using a number of simple but crucial concepts of software engineering such as stack, queue, and binary search trees. Two specification methods are studied: the axiomatic approach and the constructive approach. Illustrative examples throughout use Modula-2 and Ada, and three case studies are considered in detail.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Formal specification of abstract data types
12
Representation and implementation of abstract data types
53
Encapsulation in high level languages
84
Copyright

7 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information