123
click to vote
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...