Comment faire confiance à un compilateur ?

Résumé : Traduttore, tradittore (traducteur, traître), dit l'adage italien. Si l'on accepte le parallèle entre traduction et compilation de programme, celle-ci consistant à traduire un langage évolué en langage machine, mieux vaut faire mentir l'adage ! Portrait du premier compilateur en voie d'être garanti " zéro faute ".
Complete list of metadatas

https://hal.inria.fr/inria-00511377
Contributor : Marie-Hélène Comte <>
Submitted on : Thursday, August 26, 2010 - 10:45:17 AM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Monday, November 29, 2010 - 11:38:37 AM

File

inria-n440-avril10.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : inria-00511377, version 1

Collections

Citation

Xavier Leroy. Comment faire confiance à un compilateur ?. Les Cahiers de l'INRIA - La Recherche, INRIA, 2010, Cancer la révolution. ⟨inria-00511377⟩

Share

Metrics

Record views

778

Files downloads

222