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.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
inria Interstices : Connect in order to contact the contributor
https://inria.hal.science/hal-01350287
Submitted on : Friday, July 29, 2016-5:45:28 PM
Last modification on : Monday, February 20, 2023-12:13:28 PM