A Formal Framework with Late Binding
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reasoning and refinement in object-oriented specification languagesPublished by Springer Nature ,2006
- Object-oriented multi-methods in CecilPublished by Springer Nature ,2006
- Object-Oriented Programming A Unified FoundationPublished by Springer Nature ,1997
- Modular reasoning in the presence of subclassingPublished by Association for Computing Machinery (ACM) ,1995
- Modular reasoning in the presence of subclassingACM SIGPLAN Notices, 1995
- 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
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985