descriptionPublicationkeyboard_double_arrow_right Article 01 May 1998 English Publisher:Association for Computing Machinery (ACM)Journal:ACM Transactions on Programming Languages and Systems, volume 20, pages 679-706 (issn: 0164-0925, eissn: 1558-4593,

Authors: Fokkink, Wan J.; Kamperman, Jasper F.Th; Walters, Pum;

doi: 10.1145/291889.291903

handle: 1871.1/f513fc46-3de0-40f3-bd24-8c5a261600c8

Within ARM's reach

- Summary
- Subjects
- Metrics

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

Related Organizations

Vrije Universiteit Amsterdam
Netherlands
Swansea University
United Kingdom
University of Wales
United Kingdom

Keywords

Term rewriting, Abstract machine, Languages, Specificity ordering, D.3.4 [Programming Languages]: Processors - compilers; optimization, SDG 4 - Quality Education, Automata

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	10
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%