Proof-carrying code (1997)

by G C Necula
Venue:In Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages