Specifications, models, and implementations of data abstractions
- 31 March 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 20 (1) , 3-32
- https://doi.org/10.1016/0304-3975(82)90097-4
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Hierarchical program specification and verification ? a many-sorted logical approachActa Informatica, 1980
- Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessPublished by Springer Nature ,1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Proving programs correct through refinementActa Informatica, 1978
- On the many facets of listsTheoretical Computer Science, 1977
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972