A Proof-Carrying Code Architecture for Java.

Christopher Colby, Peter Lee, George C. Necula

Browse the full CAV paper archive.