Extensions and implementations of abstract data type specifications
- 1 January 1978
- book chapter
- Published by Springer Nature
- p. 155-164
- https://doi.org/10.1007/3-540-08921-7_64
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Data typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975