Temporal Logic for Proof-Carrying Code-Reference-Cited by-同舟云学术

Temporal Logic for Proof-Carrying Code

Published:2002 Issue: Volume: Page:31-46
ISSN:0302-9743
Container-title:Automated Deduction—CADE-18
language:
Short-container-title:

Author:

Bernard Andrew,Lee Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45620-1_3

Reference18 articles.

1. Andrew W. Appel and Amy P. Felty. A semantic model of types and machine instructions for proof-carrying code. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 243–253, Boston, MA, January 2000.

2. Andrew Bernard and Peter Lee. Temporal logic for proof-carrying code. Technical Report CMU-CS-02-130, Carnegie Mellon University, School of Computer Science, 2002. In preparation.

3. Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, and Kenneth Cline. A certifying compiler for Java. In Proceedings of the ACM SIG-PLAN’ 00 conference on programming language design and implementation, pages 95–107, Vancouver, BC Canada, June 2000.

4. Karl Crary, David Walker, and Greg Morrisett. Typed memory management in a calculus of capabilities. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 262–275, San Antonio, TX, January 1999.

5. Karl Crary and Stephnie Weirich. Resource bound certification. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 184–198, Boston, MA, January 2000.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstraction-Carrying Code: a Model for Mobile Code Safety;New Generation Computing;2008-02

2. Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks;Logic Programming;2006

3. SAT-Based Software Certification;Tools and Algorithms for the Construction and Analysis of Systems;2006

4. Interactive and Probabilistic Proof of Mobile Code Safety;Automated Software Engineering;2005-04

5. Certifying Temporal Properties for Compiled C Programs;Lecture Notes in Computer Science;2004