A semantic model of types and machine instructions for proof-carrying code

by Amy P. Felty
Venue:In Principles of Programming Languages
Citations:127 - 17 self