Preexistence revisited

Roland Ducournau 1 Julien Pagès 1 Jean Privat 2 Colin Vidal 1
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Preexistence is a property which asserts that the receiver of a given call site has been instantiated before the current invocation of the considered method [Detlefs and Agesen, Inlining of virtual methods. ECOOP’99]. Hence, preexistence is a mean to avoid on-stack replacement when a method must be recompiled during its own activation. In the original proposition, preexistence is an immutable property, its analysis is purely intra-procedural, and it considers only values. In this paper, we propose to extend it to a simple inter-procedural static analysis that considers types too, not only values. A consequence of this extension is that preexistence is no longer immutable, hence the analysis is not monotonous.
Type de document :
Communication dans un congrès
ICOOOLPS, Jul 2015, Prague, Czech Republic. 2015, 〈10.1145/2843915.2843923〉
Liste complète des métadonnées
Contributeur : Julien Pagès <>
Soumis le : lundi 31 août 2015 - 10:38:44
Dernière modification le : jeudi 24 mai 2018 - 15:59:22




Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal. Preexistence revisited. ICOOOLPS, Jul 2015, Prague, Czech Republic. 2015, 〈10.1145/2843915.2843923〉. 〈hal-01188562〉



Consultations de la notice