Provably correct compiler development and implementation-Reference-Cited by-同舟云学术

Provably correct compiler development and implementation

Published:1992 Issue: Volume: Page:141-155
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Buth Bettina,Buth Karl-Heinz,Fränzle Martin,Karger Burghard,Lakhneche Yassine,Langmaack Hans,Müller-Olm Markus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55984-1_14.pdf

Reference14 articles.

1. Dines Bjørner et al. Final Deliverable of the ProCoS Project. Computer Science Department, Technical University of Denmark, Lyngby, DK, 1992 (submitted to Springer Verlag for publication)

2. Dines Bjørner, Cliff B. Jones. The Vienna Development Method: The Meta Language. LNCS 61. Springer Verlag, 1978

3. R.S. Boyer, J S. Moore. A Computational Logic Handbook. Academic Press, 1988

4. Martin Fränzle. Verification of Compilers for Recursive occam-like Languages. Master's Thesis, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, FRG, 1990

5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall Int., 1985

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

1. A survey of approaches for verifying model transformations;Software & Systems Modeling;2013-06-13

2. Incremental Verification by Abstraction;Tools and Algorithms for the Construction and Analysis of Systems;2001

3. Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations;Lecture Notes in Computer Science;2000

4. Translation Validation: From SIGNAL to C;Lecture Notes in Computer Science;1999

5. Enriching the Software Development Process by Formal Methods;Applied Formal Methods — FM-Trends 98;1999