Rewriting Strategies and Strategic Rewrite Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2015

Rewriting Strategies and Strategic Rewrite Programs

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
HK-RewStrat.pdf (587.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01143486 , version 2

Cite

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
241 View
613 Download

Share

Gmail Facebook Twitter LinkedIn More