A rewriting point of view on strategies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

A rewriting point of view on strategies

Helene Kirchner


This paper is an expository contribution reporting on published work. It focuses on an approach fol- lowed in the rewriting community to formalize the concept of strategy. Based on rewriting concepts, several definitions of strategy are reviewed and connected: in order to catch the higher-order nature of strategies, a strategy is defined as a proof term expressed in the rewriting logic or in the rewriting calculus; to address in a coherent way deduction and computation, a strategy is seen as a subset of derivations; and to recover the definition of strategy in sequential path-building games or in functional programs, a strategy is considered as a partial function that associates to a reduction-in-progress, the possible next steps in the reduction sequence.
Fichier principal
Vignette du fichier
HKirchnerSR2013.pdf (86.32 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-00986699 , version 1 (04-05-2014)



Helene Kirchner. A rewriting point of view on strategies. SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. pp.99-105, ⟨10.4204/EPTCS.112.15⟩. ⟨hal-00986699⟩


60 View
62 Download



Gmail Facebook Twitter LinkedIn More