Containment defines a class of recursive data structures
- 1 April 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 18 (4), 58-64
- https://doi.org/10.1145/948176.948180
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Analysis of pointer “rotation”Communications of the ACM, 1982
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- Verification of Array, Record, and Pointer Operations in PascalACM Transactions on Programming Languages and Systems, 1979
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- An axiomatic definition of the programming language PASCALActa Informatica, 1973