Détail de l'auteur
Auteur Xavier Leroy |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La Recherche (Paris. 1970), 548 (06/2019)
[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 Editeur : Sophia Publications, 2019 Article : p.4-8 Note générale : Bibliographie. Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)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. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - Sophia Publications, 2019 . - p.4-8.
Bibliographie.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)
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. Nature du document : documentaire Genre : Article de périodique/Entretien, interview