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. Précédemment chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.
Le logiciel, entre l'esprit et la matière
Par :Formats :
- Nombre de pages60
- FormatPoche
- PrésentationBroché
- Poids0.09 kg
- Dimensions12,0 cm × 18,0 cm × 0,7 cm
- ISBN978-2-7226-0704-0
- EAN9782722607040
- Date de parution27/11/2024
- CollectionLeçons inaugurales
- ÉditeurCollège de France
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 ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel.
A propos de Xavier Leroy
4,99 €
13,99 €
