From bytecode to JavaScript: the Js_of_ocaml compiler. (26th February 2013)

• Record Type: Journal Article
• Authors: Vouillon, Jérôme; Balat, Vincent
• Is Part Of: Software, practice & experience. Volume 44:Number 8(2014)
• Page Start: 951
• Page End: 972
• Publication Date: 2013-02-26
• Subjects: Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2187
• Languages: English
• ISSNs: 0038-0644

Abstract

<abstract abstract-type="main" id="spe2187-abs-0001"> <title>SUMMARY</title> <p>We present the design and implementation of a compiler from OCaml bytecode to JavaScript. The compiler first translates the bytecode into a static single‐assignment intermediate representation on which optimizations are performed, before generating JavaScript. We believe that taking bytecode as an input instead of a high‐level language is a sensible choice. Virtual machines provide a very stable API. Such a compiler is thus easy to maintain. It is also convenient to use, and it can just be added to an existing installation of the development tools. Already‐compiled libraries can be used directly, with no need to reinstall anything. Finally, some virtual machines are the target of several languages. A bytecode to JavaScript compiler would make it possible to retarget all these languages to Web browsers at once. Copyright © 2013 John Wiley &amp; Sons, Ltd.</p> </abstract>