Extensional and Intensional Strategies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Electronic Proceedings in Theoretical Computer Science Year : 2010

Extensional and Intensional Strategies


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 and versions

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



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⟩
100 View
0 Download



Gmail Facebook X LinkedIn More