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