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

Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle

Browse the full CARDIS paper archive.