Towards an algebraic semantics for the object paradigm

This publication has 15 references indexed in Scilit:

• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• A categorical manifesto
  Mathematical Structures in Computer Science, 1991
• Proving and rewriting
  Published by Springer Nature ,1990
• An algebraic approach to refinement
  Published by Springer Nature ,1990
• Principles of parameterized programming
  Published by Association for Computing Machinery (ACM) ,1989
• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Introducing institutions
  Published by Springer Nature ,1984
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935