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

CategoryGlossary