Foundational Certified Code in a Metalogical Framework-Reference-Cited by-同舟云学术

Foundational Certified Code in a Metalogical Framework

Published:2003 Issue: Volume: Page:106-120
ISSN:0302-9743
Container-title:Automated Deduction – CADE-19
language:
Short-container-title:

Author:

Crary Karl,Sarkar Susmit

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45085-6_9

Reference28 articles.

1. Appel, A.W., Felty, A.P.: A semantic model of types and machine instructions for proof-carrying code. In: Twenty-Seventh ACM Symposium on Principles of Programming Languages, Boston, January 2000, pp. 243–253 (2000)

2. Appel, A.W., Michael, N., Stump, A., Virga, R.: A trustworthy proof checker. Technical Report TR-647-02, Department of Computer Science, Princeton University (April 2002)

3. Lecture Notes in Artificial Intelligence;A. Bernard,2002

4. Boehm, H.-J., Weiser, M.: Garbage collection in an uncooperative environment. Software Practice and Experience 18(9), 807–820 (1988)

5. Buyya, R., Baker, M. (eds.) GRID 2000. LNCS, vol. 1971. Springer, Heidelberg (2000)

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

1. Deductive Binary Code Verification Against Source-Code-Level Specifications;Tests and Proofs;2020

2. Hybrid;Journal of Automated Reasoning;2010-08-07

3. Extensible Proof-Producing Compilation;Lecture Notes in Computer Science;2009

4. An End-To-End Approach to Distributed Policy Language Implementation;Electronic Notes in Theoretical Computer Science;2007-07

5. Towards a mechanized metatheory of standard ML;ACM SIGPLAN Notices;2007-01-17