Rewrite Strategies in the Rewriting Calculus
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack · Electronic Notes in Theoretical Computer Science · 2003
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.