Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata
Contributor : Julien Pagès <>
Submitted on : Monday, August 31, 2015 - 10:38:44 AM
Last modification on : Friday, March 27, 2020 - 3:18:03 PM




Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal. Preexistence revisited. ICOOOLPS: Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Jul 2015, Prague, Czech Republic. pp.#4, ⟨10.1145/2843915.2843923⟩. ⟨hal-01188562⟩



Record views