A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.

Robert R. Schneck, George C. Necula

Browse the full CADE paper archive.