Rewrite Strategies in the Rewriting Calculus
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...