Information à propos de "CompCert" :
CompCert, un logiciel récompensé par une haute distinction
CompCert récompensé par l’ACM pour ses garanties d’absence de bugs
Un compilateur mathématiquement sans erreur
Xavier Leroy, Grand Prix Inria 2018, pour son apport aux langages de programmation
Xavier Leroy : Grand Prix
Xavier Leroy, élu à l’Académie des sciences : une vie dédiée à l’informatique
Xavier Leroy : prouver l’absence de Bugs