Felty: 2000, ‘A Semantic Model of Types and Machine Instructions for Proof-Carrying Code (0)

by A W Appel, A P
Venue:In: Proceedings of the 27th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL ’00