OCamlCC - Traduire OCaml en C en passant par le bytecode - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

OCamlCC - Traduire OCaml en C en passant par le bytecode

Michel Mauny
Sûreté et Fiabilité des Logiciels
Benoît Vaugon
  • Fonction : Auteur
  • PersonId : 935728
Sûreté et Fiabilité des Logiciels

Résumé

Nous présentons des résultats préliminaires concernant OCamlCC, un compilateur de programmes OCaml en code natif basé sur la traduction en C des exécutables bytecode.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
jfla2013-09.pdf (446.08 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt

Ist Inria Saclay  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00779721

Soumis le : mardi 22 janvier 2013-15:07:16

Dernière modification le : mardi 7 février 2023-03:42:35

Archivage à long terme le : samedi 1 avril 2017-08:19:50

Télécharger pour visualiser

Dates et versions

hal-00779721 , version 1 (22-01-2013)

Identifiants

  • HAL Id : hal-00779721 , version 1

Citer

Michel Mauny, Benoît Vaugon. OCamlCC - Traduire OCaml en C en passant par le bytecode. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779721⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA JFLA2013 ENSTA_U2IS
181 Consultations
540 Téléchargements

Partager

Gmail Facebook X LinkedIn More