Calculating with pointers
- 1 September 1989
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 12 (3) , 191-205
- https://doi.org/10.1016/0167-6423(89)90002-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the elimination of pointer variables and dynamic allocation in higher level languagesACM SIGPLAN Notices, 1984
- Defining dynamic variables and abstract data types in PascalACM SIGPLAN Notices, 1984
- Assignment and Linked Data StructuresPublished by Springer Nature ,1982
- A General Axiom of AssignmentPublished by Springer Nature ,1982
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- A fast algorithm for computing longest common subsequencesCommunications of the ACM, 1977
- An axiomatic definition of the programming language PASCALActa Informatica, 1973