×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [code pcc]
Home >
code pcc
Ubiquitous computing presentation 2
605 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.
214 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
64 views
Typed Assembly Language and Proof-Carrying Code
50 views
Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks
41 views