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


Revision: r1.1 - 08 Jan 2002 - 14:14 - EelcoVisser
Stratego > StrategoGlossary > TransformationRule
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback