Skip to Main content Skip to Navigation

Analyse statique modulaire des langages à objet.

Abstract : We presented a framework for the modular analysis of object-oriented languages. We defined a liberal and generic trace semantics for class-bases object-oriented languages and we proved it sound and complete w.r.t. a trace semantics for object-oriented programs. We derived systematically the equations characterizing class invariants as an abstraction of the class concrete semantics. We dealt with the three main features of object-oriented languages: – inheritance, by considering the analysis of subclasses without accessing the parent's class source; – polymorphism, by studying an effective notion of behavioral subtyping; – encapsulation, by abstracting the interactions between an object and its context using regular expressions. The framework is very flexible and in particular we can distinguish three orthogonal axes for the analysis: – abstract domain: a class can be analyzed using either a generic abstract domain (Chapters 6 and 5) or a symbolic relational domain (Chapter 7) to obtain a more efficient analysis; – inheritance: a subclass can be analyzed either directly, by expanding the subclass relation, or indirectly, by using the parent's invariant (Chapters 8 and 9); – context: a class can be analyzed either aside from the instantiation context, so to obtain a result valid for all the contexts, or using an approximation of the context itself (Chapter 10). The future work will include the implementation and the study of the practical aspects of our results. In particular the interest will be the exploration of the orthogonal axes of the analysis. Furthermore, we plan to extend the results in order to cope with aspect-oriented languages [38], with concurrency and with temporal properties of objects.
Document type :
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download
Contributor : Ecole Polytechnique <>
Submitted on : Friday, July 23, 2010 - 10:15:59 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:26 PM
Long-term archiving on: : Monday, October 25, 2010 - 10:59:13 AM


  • HAL Id : pastel-00000896, version 1



Francesco Logozzo. Analyse statique modulaire des langages à objet.. Informatique [cs]. Ecole Polytechnique X, 2004. Français. ⟨pastel-00000896⟩



Record views


Files downloads