|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
213
|
Foundational Proof-Carrying Code
– Andrew W. Appel
- 2001
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
122
|
A semantic model of types and machine instructions for proof-carrying code
– Amy P. Felty
|
|
120
|
A Certifying Compiler for Java
– Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
- 2000
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
|
75
|
Toward a Foundational Typed Assembly Language
– Karl Crary
- 2002
|
|
23
|
A logic for bytecode
– Fabian Yves Bannwart, Peter Müller
- 2004
|
|
128
|
Compiling with Proofs
– George Ciprian Necula
- 1998
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
|
13
|
Proof obligations preserving compilation
– G Barthe, T Rezk, A Saabas
- 2005
|
|
130
|
Modular Specification and Verification of Object-Oriented Programs
– P Müller
- 2002
|
|
7
|
Soundness and Relative Completeness of a Programming Logic for a Sequential Java Subset
– A Poetzsch-Heffter, N Rauch
- 2004
|
|
7
|
Java Bytecode verification and its applications
– M Pavlova
- 2007
|
|
26
|
Certificate translation for optimizing compilers
– G Barthe, B Grégoire, C Kunz, T Rezk
- 2006
|
|
111
|
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
– Andrew W. Appel, David Mcallester
- 2000
|
|
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
|
