Skip to Main content Skip to Navigation
New interface
Conference papers

Constraint Based Strategies

Helene Kirchner 1, 2, * Kirchner Florent 3 Claude Kirchner 1, 2 
* Corresponding author
2 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Helene Kirchner Connect in order to contact the contributor
Submitted on : Wednesday, June 23, 2010 - 2:52:21 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:46 PM


  • HAL Id : inria-00494531, version 1


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⟩



Record views