Partial implementations of abstract data types: A dissenting view on errors
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 317-336
- https://doi.org/10.1007/3-540-13346-1_16
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Compatibility of parameter passing and implementation of parameterized data typesTheoretical Computer Science, 1983
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Abstract Implementations and Their Correctness ProofsJournal of the ACM, 1983
- Final Data Types and Their SpecificationACM Transactions on Programming Languages and Systems, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Specifications, models, and implementations of data abstractionsTheoretical Computer Science, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Abstract data types and software validationCommunications of the ACM, 1978
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Proof of correctness of data representationsActa Informatica, 1972