| 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 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Contrôle [UNESCO] 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. |
| Note de contenu : | Bibliographie. |
| Nature du document : | documentaire |
| Genre : | article de périodique/Entretien, interview |
| Ancien numéro de notice : | MF1909301507106 |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 1739 | PER | Périodique | CDI | CDI- rdc | Disponible |