A new compilation technique for left-linear term rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have such a simple form that they can be viewed as instructions for an abstract rewriting machine (ARM).

Processors (acm D.3.4), Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2)
Compilers and interpreters (msc 68N20), Models of computation (Turing machines, etc.) (msc 68Q05), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)
Software (theme 1)
Software Engineering [SEN]
Software Analysis and Transformation

Fokkink, W.J, Kamperman, J.F.T, & Walters, H.R. (1997). Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems. Software Engineering [SEN]. CWI.