×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [code pcc]
Ubiquitous computing presentation 2
606 views
Trustless Grid Computing in Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning concert
221 views
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks C.J. Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel, David Walker 1
216 views
Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination Xinyu Feng Yale University Joint work with Zhong Shao
218 views
1 Dependent Types in Practical Programming Hongwei Xi University of Cincinnati
217 views
Trustless Grid Computing in
68 views
Typed Assembly Language and Proof-Carrying Code
56 views
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
44 views