Implementation of data types by algebraic methods
- 1 October 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 27 (2) , 304-330
- https://doi.org/10.1016/0022-0000(83)90045-4
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Relative complexity of algebrasTheory of Computing Systems, 1981
- Complexity of algebraic implementations for abstract data typesJournal of Computer and System Sciences, 1981
- On the adequacy of finite equational methods for data type specificationACM SIGPLAN Notices, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- A generalization of the homomorphism conceptAlgebra universalis, 1977
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Towards a theory of semantics and compilers for programming languagesJournal of Computer and System Sciences, 1969