Algebraic specifications of computable and semicomputable data types
- 1 January 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 50 (2) , 137-181
- https://doi.org/10.1016/0304-3975(87)90123-x
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- On the adequacy of finite equational methods for data type specificationACM SIGPLAN Notices, 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
- Traversable stack with fewer errorsACM SIGPLAN Notices, 1979
- 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
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Numerical analysis as an independent scienceBIT Numerical Mathematics, 1966
- CONSTRUCTIVE ALGEBRAS IRussian Mathematical Surveys, 1961