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

Wan J. Fokkink*, Jasper F.Th Kamperman, Pum Walters

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


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).

Original languageEnglish
Pages (from-to)679-706
Number of pages28
JournalACM Transactions on Programming Languages and Systems
Issue number3
Publication statusPublished - 1 Jan 1998



  • Abstract machine
  • Automata
  • D.3.4 [Programming Languages]: Processors - compilers; optimization
  • Languages
  • Specificity ordering
  • Term rewriting

Cite this