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

Abstract

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). 
DOI: 10.1145/291889.291903

Topics

3 Figures and Tables

Cite this paper

@article{Fokkink1998WithinAR, title={Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems}, author={Wan Fokkink and Jasper Kamperman and Pum Walters}, journal={ACM Trans. Program. Lang. Syst.}, year={1998}, volume={20}, pages={679-706} }