<--- Back to Details
First PageDocument Content
Compilers / Compiler construction / Functional languages / Procedural programming languages / LLVM / Programming language implementation / OCaml / Compiler / Static single assignment form / Software engineering / Computing / Computer programming
Date: 2012-07-24 12:02:14
Compilers
Compiler construction
Functional languages
Procedural programming languages
LLVM
Programming language implementation
OCaml
Compiler
Static single assignment form
Software engineering
Computing
Computer programming

An LLVM Backend for OCaml Colin Benner June 7, Introduction As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Lev

Add to Reading List

Source URL: oud.ocaml.org

Download Document from Source Website

File Size: 55,43 KB

Share Document on Facebook

Similar Documents

David Andre and John R. Koza This chapter describes the parallel implementation of genetic programming in the C programming language using a PC type computer (running Windows) acting as a host and a network of processing

David Andre and John R. Koza This chapter describes the parallel implementation of genetic programming in the C programming language using a PC type computer (running Windows) acting as a host and a network of processing

DocID: 1uO9R - View Document

SPECIAL SECTION  DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

DocID: 1smPU - View Document

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga  University of Washington, USA

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

DocID: 1rsFQ - View Document

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

DocID: 1rq2u - View Document

2016 ‫مؤتمر ومعرض كهرباء الخليج‬  GCC POWER 2016 November Doha

2016 ‫مؤتمر ومعرض كهرباء الخليج‬ GCC POWER 2016 November Doha

DocID: 1ro4e - View Document