2 résultats : LEROY XAVIER

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
page 0 sur 1
résultats -9 à -9
UNIT
Comment faire confiance à un compilateur ?
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
Mots clés : erreur, langage haut niveau, fossé sémantique, preuve formelle, CompCert, fuscia
Date : 30-03-2010
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Comment faire confiance à un compilateur ?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé