Algebraic implementation of abstract data types
- 31 July 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 20 (3) , 209-263
- https://doi.org/10.1016/s0304-3975(82)80001-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Complexity of algebraic implementations for abstract data typesJournal of Computer and System Sciences, 1981
- Algebraic implementation of abstract data typesACM SIGACT News, 1979
- Final algebra semantics and data type extensionsJournal of Computer and System Sciences, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- Program development by stepwise refinementCommunications of the ACM, 1971