Rewriting Strategies and Strategic Rewrite Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

Rewriting Strategies and Strategic Rewrite Programs

Hélène Kirchner
Connectez-vous pour contacter l'auteur

Résumé

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.
Fichier principal
Vignette du fichier
HK-RewStrat.pdf (587.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01143486 , version 1 (17-04-2015)
hal-01143486 , version 2 (11-08-2015)

Identifiants

  • HAL Id : hal-01143486 , version 2

Citer

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⟩

Collections

INRIA INRIA2
243 Consultations
676 Téléchargements

Partager

Gmail Facebook X LinkedIn More