Rewrite Strategies in the Rewriting Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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.

Domaines

Langage de programmation [cs.PL] Logique en informatique [cs.LO] Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
2003-wrs-03.pdf (441.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Luigi Liquori  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099586

Soumis le : jeudi 7 mai 2015-15:08:12

Dernière modification le : jeudi 15 février 2024-03:31:32

Archivage à long terme le : mercredi 19 avril 2017-19:15:23

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
245 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More