Slides
Title
What is Code Safety?
Code Safety Terminology
Existing Systems
What’s wrong with Java?
Proposed System: Naccio
Sweeping Generalizations
Generic System Design
Platform-Specific Designs
Describing Policies
Resource Description
Safety Policy Description
Platform Interfaces
Implementing Policies
Implementation Status
Imaginary Performance Results
Summary: Expected Contributions
|
|