On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- 1 January 1982
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 29 (1) , 206-227
- https://doi.org/10.1145/322290.322303
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Extensions and implementations of abstract data type specificationsPublished by Springer Nature ,1978
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976
- Grammars on partial graphsActa Informatica, 1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- Deriving graphs from graphs by applying a productionActa Informatica, 1975