Andrew W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), June 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) Self-citation (Appel) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In Symposium on Logic in Computer Science (LICS '01), pages 247--258. IEEE, 2001.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2003) (1 citation) Self-citation (Appel) (Correct)
No context found.
Appel, A.W.: Foundational proof-carrying code. In: Symposium on Logic in Computer Science (LICS '01), IEEE (2001) 247--258
An Indexed Model of Impredicative Polymorphism and Mutable.. - Amal Ahmed Andrew (2003) Self-citation (Appel) (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258. IEEE, June 2001.
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) Self-citation (Appel) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In Symposium on Logic in Computer Science (LICS '01), pages 247-258. IEEE, 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), June 2001.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In IEEE Symposium on Logic in Computer Science (LICS), Boston, Massachusetts, pages 247--258, June 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), June 2001.
Small proof witnesses for LF - Sarkar, Pientka, Crary (2005) (Correct)
No context found.
Andrew Appel. Foundational proof-carrying code. In J. Halpern, editor, Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS'01), pages 247--256. IEEE Computer Society Press, June 2001. Invited Talk.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In Proc. 16th Annual IEEE Symposium on Logic in Computer Science, pages 247--258. IEEE Computer Society, June 2001.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247-- 258. IEEE Computer Society, 2001.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In Sixteenth Annual IEEE Symposium on Logic in Computer Science, pages 247--258. IEEE, 2001.
A Framework for Certified Program Analysis and Its.. - Chang, Chlipala, Necula (2006) (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In Proc. of the 16th Symposium on Logic in Computer Science, pages 247--258, June 2001.
A Framework for Certified Program Analysis - And Its Applications (2006) (Correct)
No context found.
Andrew W. Appel. Foundational proof-carrying code. In Proc. of the 16th Symposium on Logic in Computer Science, pages 247--258, June 2001.
Static Single Information from a Functional Perspective - Singer (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In Proceedings of the 16th Annual Symposium on Logic in Computer Science, pages 247--256, 2001.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In Proc. 16th Annual IEEE Symposium on Logic in Computer Science, pages 247--258. IEEE Computer Society, June 2001.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
A. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258, Washington - Brussels - Tokyo, 2001. IEEE.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
A. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258, Washington - Brussels - Tokyo, 2001. IEEE.
Prototyping Proof Carrying Code - Wildmoser, Nipkow, Klein, Nanz (2004) (Correct)
No context found.
Appel, A. W. (2001). Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258.
A Type System for Coordinated Data Structures - Ringenburg, Grossman (2004) (Correct)
No context found.
Andrew Appel. Foundational proof-carrying code. In 16th IEEE Symposium on Logic in Computer Science, pages 247--258, 2001.
Access Control for the Web via Proof-Carrying Authorization - Bauer (2003) (3 citations) (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258, June 2001. 90
From Rogue to MicroRogue - Stump, Besand, Brodman, Hseu.. (2000) (Correct)
No context found.
A. Appel. Foundational Proof-Carrying Code. In 16th Annual IEEE Symposium on Logic in Computer Science, 2001.
Proofing: An Efficient and Safe Alternative to Mobile-Code.. - Gal, Probst, Franz (Correct)
No context found.
A. Appel. Foundational Proof-Carrying Code. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 247--256. IEEE Computer Society Press, 2001.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
A. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258, Washington - Brussels - Tokyo, 2001. IEEE.
Symbolic Transfer Function-based Approaches to Certified Compilation - Rival (2004) (1 citation) (Correct)
No context found.
A. W. Appel. Foundational Proof-Carrying Code. In 16th LICS, pages 247--256, 2001.
Factoring Proofs - Poswolsky, Schürmann (Correct)
No context found.
A. W. Appel. Foundational proof-carrying code. In 16th Annual IEEE Symposium on Logic in Computer Science (LICS '01), pages 247--258, Boston, USA, June 2001. 15
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC