7 search results - page 2 / 2 » More on Unfold Fold Transformations of Normal Programs: Pres... |
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
LCTRTS
2000
Springer
13 years 9 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...