Constraint Based Strategies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Constraint Based Strategies

Abstract

Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an explicit object of interest. In recent works, abstract strategies have been defined in extension but also intensionally. In this paper we complete these views with a new declarative approach based on constraints, which are used to model the different parts of a strategy. This procedure allows us to express elaborate strategies in a declarative and reusable way.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00494531 , version 1

Cite

Helene Kirchner, Kirchner Florent, Claude Kirchner. Constraint Based Strategies. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26. ⟨inria-00494531⟩
485 View
0 Download

Share

Gmail Facebook X LinkedIn More