Supporting class evolution by typing inheritance, OOPSLA '93 Workshop W19 -- Position Paper

Supporting class evolution by typing inheritance, OOPSLA '93 Workshop W19 -- Position Paper

Franz J. Hauck

english July 1993, 6 pages

TR-I4-93-05

[Abstract] [Full Paper (ps,http) , 34 kB] [Full Paper (pdf) , 31 kB]

Abstract: While there are suitable type-systems for aggregation that allow the exchange of objects and classes, the configuration of systems, and dynamic binding, there are no type-systems for inheritance relationships. Thus, maintenance of class libraries becomes difficult or even impossible because changes in a class library can cause changes in the inheriting classes of an application program. Modeling inheritance with explicit and parametrical bindings introduces a typed interface for inheritance which allows type-safe changes in class libraries.