ABSTRACT DATA TYPES AND THE DEVELOPMENT OF DATA STRUCTURES

John Guttag

Computer Science Program

University of Southern California

Los Angeles, California 90007

ABSTRACT

Abstract data typesican play a significant role in the development of software that is reliable,

efficient, and flexible

for the specification o

of a symbol table for a

correctness. The paperl

algebraic specification

In accordance with ~CM

Conference proceedings,

the paper were dlstribu

This paper presents and discusses the application of an algebraic technique

abstract data types. Among the examples presented is a top-down development

block structured language, including a discussion of the proof of its

also contains a brief discussion of the problems involved in constructing

that are both consistent and sufficiently-complete.

~ubllcatlon policy, only an abstract of this paper has been included in the

sincethe paper is being considered for publication elsewhere. Pre-preints of

~ed to Conference participants.

72