Data Abstraction, Implementation, Specification, and Testing
- 1 July 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 3 (3) , 211-223
- https://doi.org/10.1145/357139.357140
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Testing traversable stacksACM SIGPLAN Notices, 1980
- Implementing data abstraction features in a stack-based languageSoftware: Practice and Experience, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- Proof of correctness of data representationsActa Informatica, 1972