Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ...

Term rewriting is the process of simplifying symbolic expressions ( terms ) by means of a RewriteSystem, i.e., a set of RewriteRules. An example rewrite system is ...