Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)  Droits d'accès : non autorisé
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des erre ...
Date : 08-10-2009
 Description complète
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Accéder au document 
Droits d'accès : non autorisé
UNIT
Comment faire confiance à un compilateur ?  Droits d'accès : non autorisé
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu?elle ne peut comprendre ?
Date : 30-03-2010
 Description complète
Comment faire confiance à un compilateur ?
Accéder au document 
Droits d'accès : non autorisé