TermRewriting
Last edit February 26, 2005
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