Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems

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 act rewriting machine ARM.

• Type: Journal
• Year: 1998
• Where: TOPLAS
• Authors: Wan Fokkink, Jasper Kamperman, Pum Walters
• Keywords: Left-linear Term-rewriting Systems, Minimal Rules, So-called Minimal Rewrite, TOPLAS 1998