Extensional and Intensional Strategies

Abstract : This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives.
Type de document :
Article dans une revue
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. 〈http://arxiv.org/abs/1001.4427〉. 〈10.4204/EPTCS.15.1〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00494636
Contributeur : Helene Kirchner <>
Soumis le : mercredi 23 juin 2010 - 20:22:53
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10

Lien texte intégral

Identifiants

Collections

Citation

Tony Bourdier, Horatiu Cirstea, Daniel Dougherty, Hélène Kirchner. Extensional and Intensional Strategies. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. 〈http://arxiv.org/abs/1001.4427〉. 〈10.4204/EPTCS.15.1〉. 〈inria-00494636〉

Partager

Métriques

Consultations de la notice

230