1+1=1 : an optimizing Caml compiler

Abstract : We present a new Caml compiler, which was obtained by an original approach: a simple pipeline between two existing compilers, each one devoted to half of the compilation process. The first compiler is a Caml compiler, it is in charge of the front end, and ensures compatibility. The second compiler is an optimizing Scheme compiler, it constitutes the back end, and ensures efficiency. These are \camlc\ 0.6 byte-code compiler and a Scheme compiler (Bigloo). Using this technology, we were able to write the optimizing compiler in only two man-months. The new compiler is bootstrapped, fully compatible with the \camlc\ 0.6 compiler, and features interesting inter-module optimizations for curried functions. It produces efficient code, comparable with the one produced by the best ML compilers. Our new compiler, Bigloo, is freely available Anonymous ftp on ftp.inria.fr (192.93.2.54), file lang/caml-light/bcl1.6c.0.2unix.tar.Z.. 232z
Type de document :
Rapport
[Research Report] RR-2301, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074372
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:10:04
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:35:58

Fichiers

Identifiants

  • HAL Id : inria-00074372, version 1

Collections

Citation

Manuel Serrano, Pierre Weis. 1+1=1 : an optimizing Caml compiler. [Research Report] RR-2301, INRIA. 1994. 〈inria-00074372〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

297