Proof-carrying code (1997)

by George C Necula
Venue:In POPL ’97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages