loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07)
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
Niagara Falls, Ontario, Canada
May 21-May 23
ISBN: 0-7695-2847-3
ASCII Text
x 
 
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl, "A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns," Advanced Information Networking and Applications Workshops, International Conference on, vol. 2, pp. 440-447, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/AINAW.2007.65,
author = {Gilles Grimaud and Yann Hodique and Isabelle Simplot-Ryl},
title = {A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns},
journal ={Advanced Information Networking and Applications Workshops, International Conference on},
volume = {2},
year = {2007},
isbn = {0-7695-2847-3},
pages = {440-447},
doi = {http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.65},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced Information Networking and Applications Workshops, International Conference on
TI - A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
SN - 0-7695-2847-3
SP440
EP447
A1 - Gilles Grimaud,
A1 - Yann Hodique,
A1 - Isabelle Simplot-Ryl,
PY - 2007
KW - null
VL - 2
JA - Advanced Information Networking and Applications Workshops, International Conference on
ER -
 
Gilles Grimaud, Universite de Lille I, France
Yann Hodique, Universite de Lille I, France
Isabelle Simplot-Ryl, Universite de Lille I, France
This paper presents a compositional escape analysis (EA) adapted for use in resource limited embedded sys- tems. It covers the full Java language, including dynamic class loading. Thanks to the use of an efficient verifica- tion algorithm, small embedded systems are able to check the EA information of mobile code. The traditional EA is also extended, taking further steps towards full Java pro- gramming support, by adding the support of common de- sign patterns, namely aggregation and factory, in order to allow the use of coding techniques that are usually some- what inefficient on these constrained systems.
Citation:
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl, "A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns," ainaw, vol. 2, pp.440-447, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.