Poster un nouveau message
En réponse à :
Safety First !
par Laurent Bloch
le samedi 31 décembre 2011

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 (...)

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.

Lien hypertexte

(Si votre message se réfère à un article publié sur le Web, ou à une page fournissant plus d’informations, vous pouvez indiquer ci-après le titre de la page et son adresse.)