An Open Framework for Foundational Proof-Carrying Code (2007)

by Xinyu Feng , Zhaozhong Ni , Zhong Shao , Yu Guo
Venue:IN PROC. THE 2007 ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPES IN LANGUAGE DESIGN AND IMPLEMENTATION (TLDI’07
Citations:16 - 8 self