Safety First! (technical perspective) - Archive ouverte HAL Access content directly
Journal Articles Communications of the ACM Year : 2011

Safety First! (technical perspective)

(1)
1

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
Not file

Dates and versions

hal-01091803 , version 1 (06-12-2014)

Identifiers

Cite

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

Collections

INRIA INRIA2
102 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More