Skip to Main content Skip to Navigation
New interface
Conference papers

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea 1 Claude Kirchner 1 Luigi Liquori 2, 3 Benjamin Wack 1 
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 MIRHO - Objects, types and prototypes : semantics and validation
CRISAM - Inria Sophia Antipolis - Méditerranée , UHP - Université Henri Poincaré - Nancy 1, Université Nancy 2, INPL - Institut National Polytechnique de Lorraine, CNRS - Centre National de la Recherche Scientifique : UMR7503
Abstract : 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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 7, 2015 - 3:08:12 PM
Last modification on : Friday, February 4, 2022 - 3:31:39 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 7:15:23 PM


Files produced by the author(s)




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⟩



Record views


Files downloads