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.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Julien Pagès <>
Submitted on : Monday, August 31, 2015 - 10:38:44 AM
Last modification on : Thursday, May 24, 2018 - 3:59:22 PM




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



Record views