Comment faire confiance à un compilateur ? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Interstices Year : 2010

Comment faire confiance à un compilateur ?

Abstract

Ces travaux sur le compilateur formellement vérifié CompCert ont reçu le prix La Recherche 2011 en Sciences de l'information.
No file

Dates and versions

hal-01350287 , version 1 (29-07-2016)

Identifiers

  • HAL Id : hal-01350287 , version 1

Cite

Xavier Leroy. Comment faire confiance à un compilateur ?. Interstices, 2010. ⟨hal-01350287⟩
43 View
0 Download

Share

Gmail Facebook X LinkedIn More