Characterizing composability of abstract implementations
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Abstract Data Types and Software ValidationPublished by Defense Technical Information Center (DTIC) ,1976
- Proof of correctness of data representationsActa Informatica, 1972