Edito
Ici vous pouvez afficher le contenu d’un article avec le mot-clé "edito".
Le titre du bloc sera celui de l’article.
Plus d’infos dans cet article
ISSN 2271-3905
Cliquez ici si vous voulez visiter mon autre site, orienté vers des sujets moins techniques.
Garanties de sûreté : le minimum exigible
Dans le numéro de décembre 2011 des Communications of the ACM Xavier Leroy introduit un article de Jean Yang et Chris Hawblitzel, Safe to the Last Instruction : Automated Verification of a Type-Safe Operating System .
Ce texte bref donne à Xavier Leroy l’occasion de formuler avec concision les qualités qu’en 2011 on devrait être en droit d’attendre d’un environnement de développement de logiciels afin d’assurer aux programmes y-écrits robustesse, sûreté de (...)