First Page | Document Content | |
---|---|---|
Date: 2010-10-29 12:59:42Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory | Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1Add to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source WebsiteFile Size: 197,06 KBShare Document on Facebook |