A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns

Gilles Grimaud 1, 2 Yann Hodique 1 Isabelle Simplot-Ryl 1
2 POPS - System and Networking for Portable Objects Proved to be Safe
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, IRCICA
Abstract : This paper presents a compositional escape analysis adapted for use in resource limited embedded systems. This analysis covers the full Java language, including dynamic class loading. Thanks to the use of an effcient verififation algorithm, small embedded systems are able to check the escape analysis information of mobile code. The traditional escape analysis is also extended, taking further steps towards full Java programming support, by adding the support of common design patterns, namely aggregation and factory, in order to allow the programmer to use coding techniques that are usually somewhat inefficient on these constrained systems.
Type de document :
[Research Report] RR-5937, INRIA. 2006, pp.23
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 23 juin 2006 - 10:39:20
Dernière modification le : mardi 15 janvier 2019 - 13:56:15
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:08:22



  • HAL Id : inria-00081200, version 2



Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. [Research Report] RR-5937, INRIA. 2006, pp.23. 〈inria-00081200v2〉



Consultations de la notice


Téléchargements de fichiers