Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Abstract elided by the publisher.
Related papers
- Computational Reflection in Class-Based Object-Oriented Languages OOPSLA 1989
- Reflection as a Tool to Debug Objects SLE 2022
- A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics JFP 1994
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995
- Pinocchio: bringing reflection to life with first-class interpreters OOPSLA 2010
- Virtual Classes: A Powerful Mechanism in Object-Oriented Programming OOPSLA 1989
- Type Substitution for Object-Oriented Programming OOPSLA 1990
- Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming ECOOP 1991