KIT | KIT-Bibliothek | Impressum

Understanding Class Hierarchies with KABA

Streckenbach, Mirko; Snelting, Gregor

Abstract: KABA is a prototype implementation of the Snelting/Tip analysis for JAVA. KABA combines dataflow analysis, type inference and concept lattices in order to perform a fine-grained analysis of member-access patterns in a class hierarchy together with a given set of applications. KABA computes a transformed hierarchy which is guaranteed to be 1. operationally equivalent, 2. maximally factorized, 3. minimal. The new hierarchy in particular makes obvious which classes can be splitted and which cannot; which inheritance relations must be retained and which can be discarded. The paper presents several case studies on medium-sized JAVA programs.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 1000017674
Erschienen in Proceedings of the second Workshop on Object-Oriented Reengineering (WOOR), Toulouse, September 6, 1999. Ed.: S. Demeyer
Verlag TU, Wien
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page