Constraint based strategies

Authors:
Claude Kirchner;Florent Kirchner;Hélène Kirchner
Affiliations:
INRIA, Centre de Recherche, Talence Cedex, France;INRIA, Centre de Recherche, Rennes Cedex, France;INRIA, Centre de Recherche, Talence Cedex, France
Venue:
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Year:
2009

Citing 14
Cited 0

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Term rewriting and all that

Term rewriting and all that
Term Rewriting Systems

Term Rewriting Systems
Incremental Construction of Unification Algorithms in Equational Theories

Proceedings of the 10th Colloquium on Automata, Languages and Programming
Stratego: A Language for Program Transformation Based on Rewriting Strategies

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Theorem Proving Modulo

Journal of Automated Reasoning
Tinycals: Step by Step Tacticals

Electronic Notes in Theoretical Computer Science (ENTCS)
Anti-pattern Matching Modulo

Language and Automata Theory and Applications
A Unified Sequent Calculus for Focused Proofs

LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Towards a Strategy Language for Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
Anti-pattern matching

ESOP'07 Proceedings of the 16th European conference on Programming
Holes with binding power

TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A tactic language for the system Coq

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Tom: piggybacking rewriting on java

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications

Quantified Score

Hi-index	0.00

Visualization

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.