loading...
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
Niagara Falls, Ontario, Canada May 21-May 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.6521st International Conference on Adva ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.