Comment faire confiance à un compilateur ?
Résumé
Ces travaux sur le compilateur formellement vérifié CompCert ont reçu le prix La Recherche 2011 en Sciences de l'information.
Article Dans Une Revue
Interstices
Année : 2010
inria Interstices : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01350287
Soumis le : vendredi 29 juillet 2016-17:45:28
Dernière modification le : lundi 20 février 2023-12:13:28
Dates et versions
Identifiants
- HAL Id : hal-01350287 , version 1
Citer
Xavier Leroy. Comment faire confiance à un compilateur ?. Interstices, 2010. ⟨hal-01350287⟩
Collections
43
Consultations
0
Téléchargements