2006 | OriginalPaper | Buchkapitel
On the Correctness of Transformations in Compiler Back-Ends
verfasst von : Wolf Zimmermann
Erschienen in: Leveraging Applications of Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project
Verifix
. Compiler back-ends transform intermediate languages into code of the target machine. Back-end generators allow to generate compiler back-ends 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.