Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite 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 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]|
|Organisation||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.