New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
The treatment of data types in EL1
Communications of the ACM
The composition of semantics in Algol 68
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Structured programming
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Research directions in abstract data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Parameter validation for software reliability
ACM SIGPLAN Notices
| Hi-index | 0.00 |
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.