Efficient Representation and Validation of Logical Proofs (1997)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:44 - 6 self

Active Bibliography

61 Efficient Representation and Validation of Proofs – George C. Necula, Peter Lee - 1998
Oracle-Based Checking of Untrusted Software – unknown authors
56 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
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