×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [safe languages]
Home >
safe languages
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System Jean Yang MIT CSAIL Chris Hawblitzel Microsoft Research.
215 views
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
29 views
The xCloud and Design Alternatives
25 views
Static Race Detection
46 views
< Previous