Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (1997)
by
W. J. Fokkink
,
J. F. Th. Kamperman
,
H. R. Walters
| Citations: | 3 - 1 self |
BibTeX
@MISC{Fokkink97withinarm's,
author = {W. J. Fokkink and J. F. Th. Kamperman and H. R. Walters},
title = {Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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).
