1997
Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems
Publication
Publication
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).
| Additional Metadata | |
|---|---|
| , , | |
| , , , | |
| CWI | |
| Software Engineering [SEN] | |
| Organisation | Software Analysis and Transformation |
|
Fokkink, W., Kamperman, J., & Walters, P. (1997). Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems. Software Engineering [SEN]. CWI. |
|
