|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
120
|
A Certifying Compiler for Java
– Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
- 2000
|
|
114
|
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
– Andrew W. Appel, David Mcallester
- 2000
|
|
381
|
Safe Kernel Extensions Without Run-Time Checking
– George C. Necula, Peter Lee
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
213
|
Foundational Proof-Carrying Code
– Andrew W. Appel
- 2001
|
|
28
|
Machine instruction syntax and semantics in higher order logic
– N G MICHAEL, A W APPEL
|
|
281
|
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
– Frank Pfenning, Carsten Schurmann
- 1999
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
128
|
Compiling with Proofs
– George Ciprian Necula
- 1998
|
|
143
|
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
|
|
75
|
Toward a Foundational Typed Assembly Language
– Karl Crary
- 2002
|
|
28
|
A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract)
– Amal J. Ahmed, Andrew W. Appel, Roberto Virga
- 2002
|
|
1023
|
Yellin F. Java Virtual Machine Specification
– T Lindholm
- 1999
|
|
10
|
Models for security policies in proof-carrying code
– A W Appel, E W Felten
- 2001
|
|
62
|
A Dependently Typed Assembly Language
– Hongwei Xi, Robert Harper
- 2001
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
