Code Safety Through Transformation

David Evans
1 Oct 1998

PowerPoint source


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

David Evans
Software Devices and Systems