A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) (2002)

by Amal J. Ahmed , Andrew W. Appel , Roberto Virga
Citations:31 - 8 self

Documents Related by Co-Citation

136 An Indexed Model of Recursive Types for Foundational Proof-Carrying Code – Andrew W. Appel, David Mcallester - 2000
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
1097 Proof-Carrying Code – George C. Necula - 1997
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
32 Machine instruction syntax and semantics in higher-order logic – N G Michael, A W Appel - 2000
40 A Provably Sound TAL for Back-end Optimization – Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang - 2003
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
155 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999
29 A Trustworthy Proof Checker – Andrew W. Appel , Neophytos Michael, Aaron Stump, Roberto Virga - 2002
31 Possible world semantics for general storage in call-by-value – P B Levy - 2002
99 Relational Properties of Domains – Andrew M. Pitts - 1996
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
17 An Indexed Model of Impredicative Polymorphism and Mutable References – Amal Ahmed , Andrew W. Appel, Roberto Virga - 2003
14 Construction of a Semantic Model for a Typed Assembly Language – Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu - 2004
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee