Foundational proof-carrying code. (2001)

by Andrew W Appel
Venue:In Proc. IEEE Symp. on Logic in Computer Science (LICS),