Term Rewriting

Rewriting terms (tree structured values, e.g. parts of an AbstractSyntaxTree) by replacing parts with other parts by repeated applications of rewrite rules (forming a TermRewriteSystem?).

Used in compiler implementation.

See http://en.wikipedia.org/wiki/Term_rewriting

CategoryCompilers