|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
128
|
Compiling with Proofs
– George Ciprian Necula
- 1998
|
|
57
|
A framework for de logics
– H Harper, F Honsell, G Plotkin
- 1993
|
|
381
|
Safe Kernel Extensions Without Run-Time Checking
– George C. Necula, Peter Lee
|
|
122
|
A semantic model of types and machine instructions for proof-carrying code
– Amy P. Felty
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
161
|
Proof-Carrying Authentication
– Andrew W. Appel, Edward W. Felten
- 1999
|
|
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
|
|
1023
|
Yellin F. Java Virtual Machine Specification
– T Lindholm
- 1999
|
|
172
|
Logic Programming in the LF Logical Framework
– Frank Pfenning
- 1991
|
|
37
|
Efficient code certification
– Dexter Kozen
- 1998
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
|
315
|
A Calculus for Access Control in Distributed Systems
– M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner
- 1991
|
|
281
|
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
– Frank Pfenning, Carsten Schurmann
- 1999
|
|
170
|
A type system for Java bytecode subroutines
– Raymie Stata, MartÃn Abadi
- 1998
|
|
627
|
Efficient Software-Based Fault Isolation
– Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham
- 1993
|
