Constraint Based Strategies

Helene Kirchner 1, 2, * Kirchner Florent 3 Claude Kirchner 1, 2
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, 5979, pp.13-26, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00494531
Contributeur : Helene Kirchner <>
Soumis le : mercredi 23 juin 2010 - 14:52:21
Dernière modification le : mercredi 16 mai 2018 - 11:23:28

Identifiants

  • HAL Id : inria-00494531, version 1

Citation

Helene Kirchner, Kirchner Florent, Claude Kirchner. Constraint Based Strategies. Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, 5979, pp.13-26, 2010, Lecture Notes in Computer Science. 〈inria-00494531〉

Partager

Métriques

Consultations de la notice

590