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

https://hal.inria.fr/hal-00986699
Contributor : Helene Kirchner <>
Submitted on : Sunday, May 4, 2014 - 8:37:21 AM
Last modification on : Thursday, March 5, 2020 - 4:50:04 PM
Long-term archiving on: : Monday, August 4, 2014 - 10:36:55 AM

File

HKirchnerSR2013.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

182

Files downloads

233