Documents Related by Co-Citation

595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
400 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
232 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
625 Compiling with Continuations – A Appel - 1992
162 as an assertion language for mutable data structures – BI - 2001