Specification techniques for data abstractions
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6), 72-87
- https://doi.org/10.1145/390016.808426
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Relational level data structures for programming languagesActa Informatica, 1973
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- A technique for software module specification with examplesCommunications of the ACM, 1972
- The design of the Venus operating systemCommunications of the ACM, 1972
- Toward an understanding of data structuresCommunications of the ACM, 1971
- The programming language pascalActa Informatica, 1971
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968