|
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 (Paris. 1970) (548, 06/2019)
|
|
Article en page(s) :
|
p.4-8
|
|
Note générale :
|
Bibliographie.
|
|
Langues:
|
Français
|
|
Catégories :
|
Langage de programmation
|
|
Mots-clés:
|
contrôle
|
|
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.
|
|
Nature du document :
|
documentaire
|
|
Genre :
|
Article de périodique/Entretien, interview
|
