[article] Titre : | Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" | Type de document : | texte imprimé | Auteurs : | Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur | Année de publication : | 2019 | Article en page(s) : | p.4-8 | Note générale : | Bibliographie. | Langues : | Français | Mots-clés : | 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. | in La Recherche (Paris. 1970) > 548 (06/2019) . - p.4-8
[article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - 2019 . - p.4-8. Bibliographie. Langues : Français in La Recherche (Paris. 1970) > 548 (06/2019) . - p.4-8 Mots-clés : | 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. |
|