Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Leroy, Xavier (1968-....)
Titre(s) : Le logiciel entre l'esprit et la matière [Texte imprimé] / Xavier Leroy,...
Publication : [Paris] : Collège de France : Fayard, DL 2019
Impression : 95-Domont : Dupli-print
Description matérielle : 1 vol. (60 p.) ; 19 cm
Collection : Leçons inaugurales du Collège de France ; n° 284
Lien à la collection : Leçon inaugurale (Collège de France)
Note(s) : Leçon inaugurale prononcée le mercredi 15 novembre 2018
Identifiants, prix et caractéristiques : ISBN 978-2-213-71241-3 (br.) : 12 EUR
EAN 9782213712413
Identifiant de la notice : ark:/12148/cb457238659
Notice n° :
FRBNF45723865
Résumé : Chaire Sciences du logicielUn même matériel informatique peut remplir de nombreuses
fonctions différentes par simple changement du logiciel qu'il exécute. Cette extraordinaire
plasticité a permis à l'ordinateur de sortir des centres de calcul et de se répandre
partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux
sous-tendent cette prouesse technique ? Comment maîtriser l'incroyable et souvent
effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation
et résister aux attaques ? Comment établir qu'un logiciel est digne de confiance
? À ces questions, la logique mathématique offre des éléments de réponse qui permettent
de construire une approche scientifiquement rigoureuse du logiciel.Xavier Leroy est
informaticien, spécialiste des langages et outils de programmation. Il est l'un des
auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant
chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de
la chaire Sciences du logiciel, en mai 2018. [source éditeur]
