130
click to vote
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...