Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- 1 July 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (3) , 318-354
- https://doi.org/10.1145/2166.357212
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- A simple class of algorithmic specifications for abstract software modulesPublished by Springer Nature ,2005
- Abstract implementation of abstract data typesPublished by Springer Nature ,2005
- Compound algebraic implementations: An approach to stepwise refinement of software systemsPublished by Springer Nature ,2005
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessPublished by Springer Nature ,1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976
- Proof of correctness of data representationsActa Informatica, 1972