| | |
Summary: Selective Open Recursion:
Modular Reasoning about Components and Inheritance
Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
jonathan.aldrich@cs.cmu.edu
Kevin Donnelly
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
kevind@andrew.cmu.edu
ABSTRACT
Current component-based systems with inheritance do not
fully protect the implementation details of a class from its
subclasses, making it difficult to evolve that implementation
without breaking subclass code. Previous solutions to the
so-called fragile base class problem specify those implemen-
|
