A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.

Alexandre Courbot Mariela Pavlova Gilles Grimaud Jean-Jacques Vandewalle A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. 329-344 2006 conf/cardis/2006 CARDIS http://dx.doi.org/10.1007/11733447_24 db/conf/cardis/cardis2006.html#CourbotPGV06