Rewriting Strategies and Strategic Rewrite Programs (Updated version) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2016

Rewriting Strategies and Strategic Rewrite Programs (Updated version)

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

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.
Fichier principal
Vignette du fichier
Revised-RewStrat.pdf (589.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01254205 , version 1 (11-01-2016)

Identifiers

Cite

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

Collections

INRIA INRIA2 LARA
55 View
171 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More