Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Selective Open Recursion: Modular Reasoning about Components and Inheritance
 

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-

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences