Efficient Representation and Validation of Proofs (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:60 - 7 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
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1096 Proof-Carrying Code – George C. Necula - 1997
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
582 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003