Efficient Representation and Validation of Proofs (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:66 - 9 self

Active Bibliography

44 Efficient Representation and Validation of Logical Proofs – George C. Necula, Peter Lee - 1997
Oracle-Based Checking of Untrusted Software – unknown authors
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
56 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1111 Proof-Carrying Code – George C. Necula - 1997
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield