Foundational proof-carrying code (2001)

by Andrew W Appel
Venue:In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01