Algebraic implementations preserve program correctness
Open Access
- 31 December 1986
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 7, 35-53
- https://doi.org/10.1016/0167-6423(86)90004-3
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- On hierarchies of abstract data typesActa Informatica, 1983
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Partial abstract typesActa Informatica, 1982
- An Analysis of Semantic Models for Algebraic SpecificationsPublished by Springer Nature ,1982
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982
- Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessPublished by Springer Nature ,1980
- Final algebra semantics and data type extensionsJournal of Computer and System Sciences, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969