Automatic data structure selection
- 1 May 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 21 (5) , 376-385
- https://doi.org/10.1145/359488.359498
Abstract
The use of several levels of abstraction has proved to be very helpful in constructing and maintaining programs. When programs are designed with abstract data types such as sets and lists, programmer time can be saved by automating the process of filling in low-level implementation details. In the past, programming systems have provided only a single general purpose implementation for an abstract type. Thus the programs produced using abstract types were often inefficient in space or time. In this paper a system for automatically choosing efficient implementations for abstract types from a library of implementations is discussed. This process is discussed in detail for an example program. General issues in data structure selection are also reviewed.Keywords
This publication has 9 references indexed in Scilit:
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- A program data flow analysis procedureCommunications of the ACM, 1976
- Techniques for the automatic selection of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- On the problem of uniform references to data structuresIEEE Transactions on Software Engineering, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- New Programming Languages for Artificial Intelligence ResearchACM Computing Surveys, 1974
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- An ALGOL-based associative languageCommunications of the ACM, 1969