Observational implementation of algebraic specifications
- 1 March 1991
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 28 (3) , 187-230
- https://doi.org/10.1007/bf01178505
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- A systematic study of models of abstract data typesTheoretical Computer Science, 1984
- On hierarchies of abstract data typesActa Informatica, 1983
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Parameter passing commutes with implementation of parameterized data typesPublished by Springer Nature ,1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981