A taxonomy of program transformers

See the course slides Taxonomy of Program Transformation given and a follow-up paper Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems by Eelco Visser.

From A Roadmap to Metacomputation by Supercompilation:

A taxonomy of transformers.
transformer information propagation evaluation strategy control restruct. KMP test elim struct.
Partial Evaluation (PE) constant in-out poly mono - -
Deforestation constant out-in poly poly - +
Partial deduction unification unspecified poly mono + -
Positive SCP unification out-in poly poly + +
Perfect SCP constraint out-in poly poly + +
GPC constraint out-in poly poly + +

This page is linked from: Program Transformation