On the Correctness of Transformations in Compiler Back-Ends.
Saved in:
| Title: | On the Correctness of Transformations in Compiler Back-Ends. |
|---|---|
| Authors: | Margaria, Tiziana, Steffen, Bernhard, Zimmermann, Wolf |
| Source: | Leveraging Applications of Formal Methods; 2006, p74-95, 22p |
| Abstract: | 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Leveraging Applications of Formal Methods is the property of Springer eBooks and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Be the first to leave a comment!