Equational Specification of Partial Higher Order Algebras
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- A systematic study of models of abstract data typesTheoretical Computer Science, 1984
- Algebraic Methods for Program Construction: The Project CIPPublished by Springer Nature ,1984
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Partial abstract typesActa Informatica, 1982
- Abstract data types and software validationCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970