|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
3
|
Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code
– Dinghao Wu
- 2005
|
|
12
|
Faster Proof Checking in the Edinburgh Logical Framework
– Aaron Stump, David L. Dill
- 2002
|
|
62
|
Engineering formal metatheory
– Brian Aydemir, Randy Pollack
- 2008
|
|
7
|
Semantic foundations for typed assembly languages
– Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
- 2008
|
|
7
|
Mechanizing Language Definitions
– Robert Harper, Daniel R. Licata
- 2006
|
|
4
|
A cost-effective foundational certified code system
– Susmit Sarkar
- 2005
|
|
12
|
Construction of a Semantic Model for a Typed Assembly Language
– Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
- 2004
|
|
22
|
Interfacing hoare logic and type systems for foundational proof-carrying code
– Nadeem Abdul Hamid, Zhong Shao
- 2004
|
|
2
|
Towards practical functional programming with logical frameworks
– Carsten Schürmann
- 2003
|
|
5
|
Automated Techniques for Provably Safe Mobile Code
– Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
- 2000
|
|
2
|
Automated Techniques for Provably Safe Mobile Code
– Karl Crary , Robert Harper, Peter Lee, Frank Pfenning
- 2000
|
|
213
|
Foundational Proof-Carrying Code
– Andrew W. Appel
- 2001
|
|
|
Combining Reason and Authority for Authorization of Proof-Carrying Code
– Nathan Whitehead, Nathan Whitehead
- 2004
|
|
13
|
By reason and authority: A system for authorization of proof-carrying code
– Nathan Whitehead
- 2004
|
|
11
|
Formalizing and verifying semantic type soundness for a simple compiler
– Nick Benton, Uri Zarfaty
- 2007
|
|
|
On Equivalence and Canonical Forms
– In The Lf, Robert Harper, Frank Pfenning
- 2000
|
|
3
|
Verifying Uniqueness in a Logical Framework
– Penny Anderson, Frank Pfenning
- 2004
|
|
8
|
Mechanizing the Metatheory of LF
– Christian Urban, James Cheney, Stefan Berghofer
- 2008
|
