Towards an algebraic semantics for the object paradigm
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- A categorical manifestoMathematical Structures in Computer Science, 1991
- Proving and rewritingLecture Notes in Computer Science, 1990
- An algebraic approach to refinementLecture Notes in Computer Science, 1990
- Principles of parameterized programmingPublished by Association for Computing Machinery (ACM) ,1989
- Extensions and foundations of object-oriented programmingACM SIGPLAN Notices, 1986
- Introducing institutionsLecture Notes in Computer Science, 1984
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935