HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: Semantics-Based Composition of Class Hierarchies

[snelting02ecoop]Gregor Snelting, Frank Tip, Semantics-Based Composition of Class Hierarchies, 16th European Conference on Object-Oriented Programming (ECOOP 2002), pp. 562--584, Málaga, Spain, June 2002.

Abstract

Class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. We present a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free compositions. In case of interference, an impact analysis can determine the consequences of integration. The method is based on existing program analysis technology and is illustrated by various examples.

Download

  [PDF]

BibTeX

Authors at the institute

Department Head
Prof. Gregor Snelting