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 metadatas

https://hal.inria.fr/inria-00494531
Contributor : Helene Kirchner <>
Submitted on : Wednesday, June 23, 2010 - 2:52:21 PM
Last modification on : Thursday, November 15, 2018 - 11:57:41 AM

Identifiers

  • HAL Id : inria-00494531, version 1

Citation

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⟩

Share

Metrics

Record views

670