Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

35

ISOLA
2004
Springer

favoriteEmaildiscussreport

80views Formal Methods» more ISOLA 2004»

On the Correctness of Transformations in Compiler Back-Ends

14 years 4 months ago

On the Correctness of Transformations in Compiler Back-Ends

Download i12www.ira.uka.de

This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Veriﬁx. Compiler back-ends transform intermediate languages into code of the target machine. Back-end generators allow to generate compiler backends from a set of transformation rules. This paper focuses on the correctness of these transformation rules and on the correctness of the whole transformation stemming from the transformation rules.

Wolf Zimmermann

Real-time Traffic

Compiler Back-ends | Correctness | ISOLA 2004 | Transformation Rules |

claim paper

Related Content

» HighLevel Information An Approach for Integrating FrontEnd and BackEnd Compilers

» Automatic Editing in a BackEnd SpeechtoText System

» Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions

» OpenUH an optimizing portable OpenMP compiler

» A code generation framework for Java componentbased designs

» Executing Verified Compiler Specification

» Correctness Completeness and Termination of PatternBased ModeltoModel Transformation

» Proving correctness of compiler optimizations by temporal logic

» Simulation as a Correct Transformation of Rewrite Systems

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	ISOLA
Authors	Wolf Zimmermann

Comments (0)