[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 (fre) |
in La Recherche (Paris. 1970) > 548 (06/2019) | 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 |
[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 ( fre) in La Recherche (Paris. 1970) > 548 (06/2019) | 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 |
|  |
Ajouter le résultat dans votre panier Affiner la rechercheEntretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" in La Recherche (Paris. 1970), 548 (06/2019)
