A rewriting point of view on strategies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A rewriting point of view on strategies

Helene Kirchner

Résumé

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
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Identifiants

Citer

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⟩

Collections

INRIA INRIA2
61 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More