Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Abstract elided by the publisher.
Related papers
- A mechanized semantics for C++ object construction and destruction, with applications to resource management POPL 2012
- Inheritance Is Not Subtyping POPL 1990
- Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism OOPSLA 1996
- Mixin-based Inheritance OOPSLA 1990
- CZ: multiple inheritance without diamonds OOPSLA 2009
- Viewing Objects as Patterns of Communicating Agents OOPSLA 1990
- Environmental acquisition revisited POPL 2005
- Modular Mixin-Based Inheritance for Application Frameworks OOPSLA 2001