OCaml-Java: From OCaml Sources to Java Bytecodes

  • Xavier ClercEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8241)


This article presents the code generation scheme of the OCaml-Java compiler. The goal of the OCaml-Java project is to allow execution of OCaml programs on a Java Virtual Machine. In order to achieve decent performance, it is necessary to build a compiler producing optimized bytecode that will rely on an efficient support library at runtime.

The OCaml-Java project thus provides \((i)\) an efficient runtime written in pure Java, and \((ii)\) an optimizing compiler based on the original OCaml compilers for the front-end and on the Barista library for the back-end.


OCaml Java Bytecode Compiler Code generation 


  1. 1.
    Clerc, X.: OCaml-Java: OCaml on the JVM. In: Loidl, H.-W., Peña, R. (eds.) TFP 2012. LNCS, vol. 7829, pp. 167–181. Springer, Heidelberg (2013)Google Scholar
  2. 2.
    Danelutto, M., Di Cosmo, R.: Parmap: minimalistic library for multicore programming.
  3. 3.
    Stolpmann, G.: Plama: Map/Reduce and distributed filesystem.
  4. 4.
    Chailloux, E., Canou, B., Wang, P.: OCaml for Multicore Architectures.
  5. 5.
    Hickey, R.: The clojure programming language. In: Proceedings of the 2008 Symposium on Dynamic Languages. DLS ’08, pp. 1:1–1:1. ACM, New York (2008)Google Scholar
  6. 6.
    Odersky, M., et al.: The Scala Language.
  7. 7.
    Nutter, C.O., et al.: JRuby.
  8. 8.
    Clerc, X.: The Barista library.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1..France

Personalised recommendations