Abstract
Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and
reverse engineering. Complex program transformations are achieved through a number
of consecutive modifications of a program. Transformation rules define basic
modifications. A transformation strategy is an algorithm for choosing a path in
the rewrite relation
... read more