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.
Type de document :
Communication dans un congrès
SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. EPTCS, 112, pp.99-105, 2013, 〈10.4204/EPTCS.112.15〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00986699
Contributeur : Helene Kirchner <>
Soumis le : dimanche 4 mai 2014 - 08:37:21
Dernière modification le : mardi 13 décembre 2016 - 15:41:06
Document(s) archivé(s) le : lundi 4 août 2014 - 10:36:55

Fichier

HKirchnerSR2013.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

125

Téléchargements de fichiers

72