Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Book sections

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 metadata

Cited literature [70 references]  Display  Hide  Download

https://hal.inria.fr/hal-01143486
Contributor : Helene Kirchner Connect in order to contact the contributor
Submitted on : Tuesday, August 11, 2015 - 12:10:23 PM
Last modification on : Friday, February 4, 2022 - 3:16:32 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

239

Files downloads

526