Lazy rewriting on eager machinery

@article{Fokkink2000LazyRO,
  title={Lazy rewriting on eager machinery},
  author={Wan Fokkink and Jasper Kamperman and Pum Walters},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2000},
  volume={22},
  pages={45-86}
}
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. 
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Compilation of term rewriting systems

  • J.F.T. Kamperman
  • Ph.D. thesis, University of
  • 1996
Highly Influential
11 Excerpts

Epic and ARM|user's guide

  • H. R. Walters
  • Technical Report SEN-R9724, CWI, Ams-
  • 1997
Highly Influential
4 Excerpts

The implementation of the Gofer functional programming

  • M. P. Jones
  • 1994
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…