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.
Type de document :
Communication dans un congrès
Elsevier. WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 86 (issue 4), pp.593-624, 2003, 〈10.1016/S1571-0661(05)82613-1〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00099586
Contributeur : Luigi Liquori <>
Soumis le : jeudi 7 mai 2015 - 15:08:12
Dernière modification le : samedi 27 janvier 2018 - 01:31:00
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:15:23

Fichier

2003-wrs-03.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. Elsevier. WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 86 (issue 4), pp.593-624, 2003, 〈10.1016/S1571-0661(05)82613-1〉. 〈inria-00099586〉

Partager

Métriques

Consultations de la notice

360

Téléchargements de fichiers

64