Proof-carrying code (1997)

by George C Necula
Venue:In Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Langauges (POPL ’97