Lazy rewriting on eager machinery

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

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


The article introduces a novel notion of lazy rewriting. By annotating argument positions as lazy, redundant rewrite steps are avoided, and the termination behavior of a term-rewriting system can be improved. Some transformations of rewrite rules enable an implementation using the same primitives as an implementation of eager rewriting.

Original languageEnglish
Pages (from-to)45-86
Number of pages42
JournalACM Transactions on Programming Languages and Systems
Issue number1
Publication statusPublished - 1 Jan 2000


  • D.3.4 [Programming Languages]: Processors - Compilers
  • Innermost reduction
  • Languages
  • Lazy rewriting
  • Optimization
  • Specificity ordering


Dive into the research topics of 'Lazy rewriting on eager machinery'. Together they form a unique fingerprint.

Cite this