Proof-carrying code. Pages 106–119 of (1997)

by George C Necula
Venue:24th Annual Symposium on Principles of Programming Languages (POPL’97