On the problem of uniform references to data structures
- 1 April 1975
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 31-42
- https://doi.org/10.1145/390016.808422
Abstract
The cost of a change to a large software system is often primarily a function of the size of the system rather than the complexity of the change. One reason for this is that programs which access some given data structure must operate on it using notations which are determined by its exact representation. Thus, changing how it is implemented may necessitate changes to the programs which access it. This paper develops a programming language notation and semantic interpretations which allow a program to operate on a data object in a manner which is dependent only on its logical or abstract properties and independent of its underlying concrete representation.Keywords
This publication has 5 references indexed in Scilit:
- New Programming Languages for Artificial Intelligence ResearchACM Computing Surveys, 1974
- The treatment of data types in EL1Communications of the ACM, 1974
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- The composition of semantics in Algol 68Communications of the ACM, 1971
- The programming language pascalActa Informatica, 1971