Proof-carrying code. (1996)

by G C Necula, P Lee