A Mechanically Verified Compiling Specification for a Lisp Compiler-Reference-Cited by-同舟云学术

A Mechanically Verified Compiling Specification for a Lisp Compiler

Published:2001 Issue: Volume: Page:144-155
ISSN:0302-9743
Container-title:FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Dold Axel,Vialard Vincent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45294-X_13

Reference18 articles.

1. Lect Notes Comput Sci;E. Börger,1998

2. M. Broy. Experiences with Software Specification and Verification using LP, the Larch Proof Assistant. Technical report, Digital Systems Research Center, 1992.

3. L.M. Chirica and D.F. Martin. Toward Compiler Implementation Correctness Proofs. ACM Transactions on Programming Languages and Systems, 8(2):185–214, April 1986.

4. Paul Curzon. The Verified Compilation of Vista Programs. Internal Report, Computer Laboratory, University of Cambridge, January 1994.

5. Axel Dold. Formal Software Development using Generic Development Steps. Logos-Verlag, Berlin, 2000. Dissertation, Universität Ulm.

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

1. A Formally Verified Compiler Back-end;Journal of Automated Reasoning;2009-11-04

2. Social processes, program verification and all that;Mathematical Structures in Computer Science;2009-09-07

3. Formal Certification of a Resource-Aware Language Implementation;Lecture Notes in Computer Science;2009

4. Verified bytecode verification and type-certifying compilation;The Journal of Logic and Algebraic Programming;2004-01

5. An ASM Semantics for SSA Intermediate Representations;Lecture Notes in Computer Science;2004