A syntactic approach to foundational proof-carrying code (2002)

by Nadeem A. Hamid , Zhong Shao , Valery Trifonov , Stefan Monnier , Zhaozhong Ni
Venue:In Seventeenth IEEE Symposium on Logic in Computer Science
Citations:94 - 19 self