A core language for rewriting

  title={A core language for rewriting},
  author={Eelco Visser and Zine-El-Abidine Benaissa},
  journal={Electr. Notes Theor. Comput. Sci.},
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



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.