-
Correctness of Java Card Tokenisation
We present a formalisation of the bytecode optimisation of Sun's Java Card language from the class file to CAP file format as a set of constraints between the two... -
JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dy...
International audience -
Le système Caml Special Light: modules et compilation efficace en Caml
Ce rapport présente une vue d'ensemble du système Caml Special Light, une implémentation expérimentale du langage Caml offrant deux extensions majeures: premièrement,... -
Combining Processor Virtualization and Split Compilation for Heterogeneous Mu...
International audience -
From Bytecode to JavaScript: the Js_of_ocaml Compiler
International audience
