The term for replacement of strings, terms, trees, or other forms of expression according to logical rules, particularly as a form of evaluation semantics.


Pages in this topic: ASF+SDF   Macro   Maude   Q   Rewrite for Optimization   Stratego  

Also linked from: Alan Bundy   BOBJ   C++   Context   Dispatch   Linear Logic   OBJ Family   Parsing   Rewrite Logic 101   Tactic