In this paper we present a view of constraint programming based on the notion of rewriting
controlled by strategies. We argue that this concept allows us to describe in a unified way …

In order to deal with constraint solvers integration, re-usability, and cooperation, we have
designed a domain independent environment for constraint solver collaboration (ie, solver …

In this paper we argue for an alternative way of designing cooperative constraint solver
systems using a control-oriented coordination language. The idea is to take advantage of …

Constraint programming is a paradigm based on the notion of constraints and mechanisms
for their resolution. Thus, the key point of this class of languages is not only to offer a wide …

Cette these est consacree au calcul de solutions numeriques (resolution) de systemes de
formules arithmetiques non-lineaires sur les reels (contraintes), au moyen de contraintes …

For data flow analysis of Java program to be correct and precise, the flows induced by
exceptions must be properly analysed. In our data flow analysis, the implicit control flow for a …

In this paper we argue for an alternative way of designing solvers based on interval
arithmetic. We achieve constraint propagation over real numbers using chaotic iteration …

In this paper, we propose a strategy language for designing schemes of constraint solver
collaborations: a set of strategy operators enables one to design several kinds of …

In this paper we argue for an alternative way of designing cooperative constraint solver
systems using a control-oriented coordination language. The idea is to take advantage of …

In this paper, we introduce new process control facilities in the ELAN language as low-level
primitives and high-level concurrent strategies. The low-level primitives are similar to those …