Rewriting Strategies and Strategic Rewrite Programs

Hélène Kirchner 1, *
* Corresponding author
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.
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://hal.inria.fr/hal-01143486
Contributor : Helene Kirchner <>
Submitted on : Tuesday, August 11, 2015 - 12:10:23 PM
Last modification on : Thursday, August 13, 2015 - 1:03:37 AM
Long-term archiving on : Wednesday, April 26, 2017 - 9:51:44 AM

File

HK-RewStrat.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

314

Files downloads

407