Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 224-237
- https://doi.org/10.1007/3-540-10828-9_65
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalitiesPublished by Springer Nature ,1981
- Final data type specificationsPublished by Association for Computing Machinery (ACM) ,1980
- Terminal algebra semantics and retractions for abstract data typesPublished by Springer Nature ,1980
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The Design of Data Type SpecificationsPublished by Defense Technical Information Center (DTIC) ,1976