A core language for rewriting

@article{Visser1998ACL,
  title={A core language for rewriting},
  author={Eelco Visser and Zine-El-Abidine Benaissa},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1998},
  volume={15},
  pages={422-441}
}
System S is a calculus providing the basic abstractions of term rewriting: matching and building terms, term traversal, combining computations and handling failure. The calculus forms a core language for implementation of a wide variety of rewriting languages, or more generally, languages for specifying tree transformations. In this paper we show how a conventional rewriting language based on conditional term rewriting can be implemented straightforwardly in System S. Subsequently we show how… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

5 Figures & Tables

Topics

Statistics

0510'99'01'03'05'07'09'11'13'15'17
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.