Parameter passing in algebraic specification languages
- 1 January 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 28 (1-2) , 45-81
- https://doi.org/10.1016/0304-3975(83)90065-8
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- Constructing specifications of abstract data types by replacementsPublished by Springer Nature ,2005
- Abstract data types as lattices of finitely generated modelsPublished by Springer Nature ,2005
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- MODLISP: An introductionPublished by Springer Nature ,1979
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresACM SIGMOD Record, 1976
- CATEGORY THEORYBulletin of the London Mathematical Society, 1974
- Programming with abstract data typesACM SIGPLAN Notices, 1974