|
Titre :
|
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" (2019)
|
|
Auteurs :
|
Xavier Leroy, Personne interviewée ;
Philippe Pajot, Intervieweur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
La Recherche (548, 06/2019)
|
|
Article :
|
p.4-8
|
|
Note générale :
|
Bibliographie.
|
|
Descripteurs :
|
contrôle
/
langage de programmation
|
|
Résumé :
|
Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques.
|
|
Genre :
|
Article de périodique/Entretien, interview
|
