Rewriting Strategies and Strategic Rewrite Programs (Updated version)

Hélène Kirchner 1, *
* Auteur correspondant
Abstract : This survey aims at providing unified definitions of strategies , strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified.
Type de document :
Rapport
[Research Report] Inria. 2016, pp.380-403
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01254205
Contributeur : Helene Kirchner <>
Soumis le : lundi 11 janvier 2016 - 21:18:30
Dernière modification le : mercredi 12 septembre 2018 - 01:06:24
Document(s) archivé(s) le : mardi 12 avril 2016 - 11:42:48

Fichier

Revised-RewStrat.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs (Updated version). [Research Report] Inria. 2016, pp.380-403. 〈hal-01254205〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

126