Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
162 as an assertion language for mutable data structures – BI - 2001
25 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
17 Certifying compilation for a language with stack allocation – Limin Jia, Frances Spalding, David Walker - 2005
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
27 A Type Theory for Memory Allocation and Data Layout (Extended Version) – Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning - 2002
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002