In mainstream object oriented languages the subclass relation is defined in terms of subtyping, i.e. a class A is a subclass of B if the type of A is a subtype of B. In this paper this notion is extended to consider arbitrary class properties obtained by a modular static analysis of the class.
In such a setting, the subclass relation boils down to the order relation on the abstract domain used for the analysis of the classes. Furthermore we show how this approach yields a more semantic characterization of class hierarchies and how it can be used for an effective modular analysis of polymorphic code.
In Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)
Copyright © 2007 Elsevier B.V. All rights reserved.
|Series||Electronic Notes in Theoretical Computer Science|