Skip to Main content Skip to Navigation
Books

Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018

Résumé : Un 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.
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download

https://hal.inria.fr/hal-02405754
Contributor : Xavier Leroy <>
Submitted on : Wednesday, December 11, 2019 - 7:04:10 PM
Last modification on : Wednesday, June 17, 2020 - 11:18:06 AM
Document(s) archivé(s) le : Thursday, March 12, 2020 - 11:02:24 PM

File

Leroy-lecon-inaugurale-chapitr...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-02405754, version 1

Collections

CDF | INRIA | PSL

Citation

Xavier Leroy. Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018. OpenEdition Books, 2019, 9782722605299. ⟨hal-02405754⟩

Share

Metrics

Record views

213

Files downloads

326