119
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
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 la...