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
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
232 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
131 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
90 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
32 Machine instruction syntax and semantics in higher-order logic – Neophytos G Michael, Andrew W Appel - 2000