Rewriting Strategies and Strategic Rewrite Programs

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 :
Chapitre d'ouvrage
Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01143486
Contributeur : Helene Kirchner <>
Soumis le : mardi 11 août 2015 - 12:10:23
Dernière modification le : jeudi 13 août 2015 - 01:03:37
Document(s) archivé(s) le : mercredi 26 avril 2017 - 09:51:44

Fichier

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

Identifiants

  • HAL Id : hal-01143486, version 2

Collections

Citation

Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs. Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015. 〈hal-01143486v2〉

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

143