'List machine hoare logic' presentation slideshows

Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks

Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks. C.J. Bell, Robert Dockins , Aquinas Hobor , Andrew W. Appel , David Walker. In the last decade, dozens of researchers have been investigating proof-carrying code (PCC) These researchers have split into two camps:

556 views • 45 slides