Policy Directed Code Safety

David Evans
Massachusetts Institute of Technology, Cambridge, MA,

[PDF (376KB)] [Gzipped PostScript (1902KB)]