Safety First! (technical perspective)

Abstract : Technical perspective on the CACM Research Highlight paper "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System", by Jean Yang and Chris Hawblitzel
Type de document :
Article dans une revue
Communications of the ACM, ACM, 2011, 54 (12), pp.122. 〈10.1145/2043174.2043196〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01091803
Contributeur : Xavier Leroy <>
Soumis le : samedi 6 décembre 2014 - 17:59:05
Dernière modification le : jeudi 8 octobre 2015 - 01:03:58

Identifiants

Collections

Citation

Xavier Leroy. Safety First! (technical perspective). Communications of the ACM, ACM, 2011, 54 (12), pp.122. 〈10.1145/2043174.2043196〉. 〈hal-01091803〉

Partager

Métriques

Consultations de la notice

147