PL/I language reference manual
PL/I language reference manual
An axiomatic basis for computer programming
Communications of the ACM
An assertion language for data structures
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ALGOL Sixty-Eight Implementation
ALGOL Sixty-Eight Implementation
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Verifying programs which operate on data structures
Proceedings of the international conference on Reliable software
Axiomatic approach to total correctness of programs.
Axiomatic approach to total correctness of programs.
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Structured programming
| Hi-index | 0.00 |
The existence of pointers in a higher-level programming language has been considered by many as a serious, if not insurmountable, impediment to software reliability. This paper seeks to show that most of the problems created by the use of the pointer are due to an implementation level pointer definition. A new approach is proposed which treats the pointer type in a way consistent with other data types. An example is given of how formal program verification methods can be applied to programs manipulating structures created with pointers if the introduced definition is used. A discussion is given of some implications of the adopted concepts and how they are related to the question of data representation and such notions as data abstraction.