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]].

-- Main.EelcoVisser - 08 Jan 2002 <br />
------
CategoryGlossary