Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages

Jean-Baptiste Arnaud 1 Stéphane Ducasse 1 Marcus Denker 1
1 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Controlling object graphs and giving specific semantics to references (such as read-only, own- ership, scoped sharing) has been the focus of a large body of research in the context of static type systems. Controlling references to single objects and to graphs of objects is essential to be able to build more secure systems, but is notoriously hard to achieve in absence of static type systems. In this article we embrace this challenge by proposing a solution to the following question: What is the underlying mechanism that can support the definition of properties (such as revocable, read-only, lent) at the reference level in the absence of a static type system? We present handles: first class references that propagate behavioral change dynamically to the object subgraph during program execution. In this article we describe handles and show how handles support the implementation of read-only references and revocable references. Handles have been fully implemented by modifying an existing virtual machine and we report their costs.
Type de document :
Autre publication
Preprint, Accepted with minor revisions. 2013
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00881865
Contributeur : Lse Lse <>
Soumis le : samedi 9 novembre 2013 - 18:51:57
Dernière modification le : jeudi 11 janvier 2018 - 06:22:25
Document(s) archivé(s) le : lundi 10 février 2014 - 11:58:13

Fichier

Arna13b-Handles-ScienceOfCompu...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00881865, version 1

Citation

Jean-Baptiste Arnaud, Stéphane Ducasse, Marcus Denker. Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages. Preprint, Accepted with minor revisions. 2013. 〈hal-00881865〉

Partager

Métriques

Consultations de la notice

569

Téléchargements de fichiers

270