Parameter passing commutes with implementation of parameterized data types
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 197-211
- https://doi.org/10.1007/bfb0012770
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Parameter passing in algebraic specification languagesPublished by Springer Nature ,1982
- Algebraic theory of parameterized specifications with requirementsPublished by Springer Nature ,1981
- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design SpecificationsInformatik-Fachberichte, 1981
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980
- Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessPublished by Springer Nature ,1980
- Existential quantifiers in abstract data typesPublished by Springer Nature ,1979
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978