Within ARM's (Abstract Rewriting Machine's) Reach: Compilation of Left-Linear Rewrite Systems Via Minimal Rewrite Systems; Software engineering rept

摘要

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).