Skip to Main content Skip to Navigation
Journal articles

Safety First! (technical perspective)

Xavier Leroy 1
1 GALLIUM - Programming languages, types, compilation and proofs
Inria Paris-Rocquencourt
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
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01091803
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, December 6, 2014 - 5:59:05 PM
Last modification on : Friday, January 21, 2022 - 3:15:40 AM

Identifiers

Collections

INRIA

Citation

Xavier Leroy. Safety First! (technical perspective). Communications of the ACM, Association for Computing Machinery, 2011, 54 (12), pp.122. ⟨10.1145/2043174.2043196⟩. ⟨hal-01091803⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data