Transformation Rule

Stratego -- Strategies for Program Transformation
A transformation rule is a description of a single transformation step.

Examples of transformation rules are

  • constant folding
  • beta reduction in the lambda calculus
  • function inlining
  • copy propagation

What is considered a single step depends on one's perspective. Some transformation rules can be expressed directly by means of rewrite rules. Others are more complex and require a combination of several rewrite rules and rewriting strategies.

-- EelcoVisser - 08 Jan 2002