Skip to Main content Skip to Navigation
Reports

Rewriting Strategies and Strategic Rewrite Programs (Updated version)

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.
Document type :
Reports
Complete list of metadata

Cited literature [73 references]  Display  Hide  Download

https://hal.inria.fr/hal-01254205
Contributor : Helene Kirchner <>
Submitted on : Monday, January 11, 2016 - 9:18:30 PM
Last modification on : Wednesday, September 12, 2018 - 1:06:24 AM
Long-term archiving on: : Tuesday, April 12, 2016 - 11:42:48 AM

File

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

Identifiers

Collections

Citation

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

Share

Metrics