Extensional and Intensional Strategies - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2010

Extensional and Intensional Strategies

Résumé

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.

Dates et versions

inria-00494636 , version 1 (23-06-2010)

Identifiants

Citer

Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner. Extensional and Intensional Strategies. Electronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩. ⟨inria-00494636⟩
127 Consultations
0 Téléchargements

Altmetric

Partager

More