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.
Liste complète des métadonnées

https://hal.inria.fr/hal-01350287
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:45:28
Dernière modification le : mardi 17 avril 2018 - 11:31:18

Identifiants

  • HAL Id : hal-01350287, version 1

Collections

Citation

Xavier Leroy. Comment faire confiance à un compilateur ?. Interstices, INRIA, 2010, 〈https://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur〉. 〈hal-01350287〉

Partager

Métriques

Consultations de la notice

61