A proposal for the ASF family of specification languages: subequational programming with innermost reduction (0)

by J A Bergstra, M G J van den Brand
Venue:In preparation
Add To MetaCart
Results 1 - 1 of 1

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

by W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters , 1997
"... 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). ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
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).