Rewrite Strategies in the Rewriting Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Rewrite Strategies in the Rewriting Calculus


This paper presents an overview on the use of the rewriting calculus to express rewrite strategies. We motivate first the use of rewrite strategies by examples in the ELAN language. We then show how this has been modeled in the initial version of the rewriting calculus and how the matching power of this framework facilitates the representation of powerful strategies.
Fichier principal
Vignette du fichier
2003-wrs-03.pdf (441.84 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00099586 , version 1 (07-05-2015)



Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩. ⟨inria-00099586⟩
239 View
98 Download



Gmail Facebook X LinkedIn More