Read-Only Execution for Dynamic Languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Read-Only Execution for Dynamic Languages


Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically typed languages is difficult to achieve because of the absence of a type checking phase and the support of an open-world assumption in which code can be constantly added and modified. To address this issue, we propose Dynamic Read-Only references (DRO) that provide a view on an object where this object and its object graph are protected from modification. The read- only view dynamically propagates to aggregated objects, without changing the object graph itself; it acts as a read-only view of complex data structures, without making them read-only globally. We implement dynamic read-only references by using smart object proxies that lazily propagate the read-only view, following the object graph and driven by control flow and applied them to realize side-effect free assertions.
Pas de résumé en francais
Fichier principal
Vignette du fichier
Arna10a-Tools2010-ReadOnlyExecutionForDynamicLanguages.pdf (317.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00498377 , version 1 (07-07-2010)




  • HAL Id : inria-00498377 , version 1


Jean-Baptiste Arnaud, Marcus Denker, Stéphane Ducasse, Damien Pollet, Alexandre Bergel, et al.. Read-Only Execution for Dynamic Languages. TOOLS, Jun 2010, Malaga, Spain. ⟨inria-00498377⟩
223 View
543 Download


Gmail Facebook X LinkedIn More