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

A rewriting point of view on strategies

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

Cited literature [19 references]  Display  Hide  Download
Contributor : Helene Kirchner Connect in order to contact the contributor
Submitted on : Sunday, May 4, 2014 - 8:37:21 AM
Last modification on : Friday, February 4, 2022 - 3:09:12 AM
Long-term archiving on: : Monday, August 4, 2014 - 10:36:55 AM


Publisher files allowed on an open archive




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⟩



Record views


Files downloads