|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
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
|
|
7
|
Semantic foundations for typed assembly languages
– Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
- 2008
|
|
2
|
A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems
– Susmit Sarkar, Robert Harper, Peter Lee
- 2009
|
|
213
|
Foundational Proof-Carrying Code
– Andrew W. Appel
- 2001
|
|
|
General Terms Languages, Verification Keywords Proof Checker, Proof-Carrying Code
– Dinghao Wu, Aaron Stump
|
|
4
|
Small proof witnesses for lf
– Susmit Sarkar, Brigitte Pientka, Karl Crary
|
|
5
|
Reduced Certificates for Abstraction-Carrying Code
– Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo
- 2005
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
|
25
|
Unifying Type Checking and property checking for low-level code
– Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
- 2009
|
|
40
|
A Provably Sound TAL for Back-end Optimization
– Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
- 2003
|
|
2
|
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
– Amy P. Felty
- 2005
|
|
|
Communicating and trusting proofs: The case for foundational proof certificates
– Dale Miller
|
|
1
|
An untrusted verifier for typed assembly language
– Adam Chlipala, Adam Chlipala
- 2004
|
|
|
Modular Machine Code Verification
– Zhaozhong Ni
- 2007
|
|
17
|
Abstracting Allocation: The New new Thing
– Nick Benton
- 2006
|
|
|
High-Assurance Common Language Runtime
– Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
|
