Some definitions for algebraic data type specifications
- 1 March 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 14 (3) , 28-37
- https://doi.org/10.1145/988071.988075
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- ACM SIGPLAN history of programming languages conference ALGOL 60 language summaryACM SIGPLAN Notices, 1978
- On a finite axiomatization of the data type LACM SIGPLAN Notices, 1978
- A note on some limits of the algebraic specification methodACM SIGPLAN Notices, 1978
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977