On the adequacy of finite equational methods for data type specification
- 1 November 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 14 (11), 13-18
- https://doi.org/10.1145/988056.988058
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Data types, abstract data types and their specification problemTheoretical Computer Science, 1979
- Specifications of Majster's traversable stack and Veloso's traversable stackACM SIGPLAN Notices, 1979
- Some definitions for algebraic data type specificationsACM SIGPLAN Notices, 1979
- Programming MethodologyPublished by Springer Nature ,1978
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- CONSTRUCTIVE ALGEBRAS IRussian Mathematical Surveys, 1961