Accueil/ recherche

Recherche


Xavier Leroy

2 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (1)  Titre        Date 
photoExpose
Comment faire confiance à un compilateur ?
Xavier Leroy
13/03/2014
Conférence de Xavier Leroy dans le cadre du Séminaire général du département d’informatique Le logiciel critique - celui dont dépendent des vies humaines - nécessite des techniques de développement et de validation très particulières pour atteindre ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, Code, programmation, analyseur, compilateur


Auteurs (1)
Xavier Leroy
INRIA