An algebraic approach to refinement
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- Objects, object types, and object identificationPublished by Springer Nature ,1989
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Implementation SpecificationsPublished by Springer Nature ,1985
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Algebraic semanticsLecture Notes in Computer Science, 1981
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- The algebraic semantics of recursive program schemesLecture Notes in Computer Science, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935