Skip to Main content Skip to Navigation
Conference papers

Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN

Peter Borovansky 1 Carlos Castro 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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 existing in UNIX for process control and communication. The high-level concurrent strategies proposed in this paper extend their existing sequential version giving them a new behaviour while preserving their operational semantics. This extension of the ELAN language allows to prototype in a very abstract and flexible way the integration of several computational systems within the same rewriting framework. Using the high-level concurrent strategies we can also avoid some non-terminating processes and/or apply the most efficient rewrite rule or strategy. We exemplify their use by prototyping different kinds of cooperation between constraint solvers, e.g. sequential and concurrent solvers.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:05 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM


  • HAL Id : inria-00098516, version 1



Peter Borovansky, Carlos Castro. Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN. Proceedings of The Second International Workshop on Rewriting Logic & its Applications, WRLA'98, 1998, Pont-à-Mousson, France, pp.379-398. ⟨inria-00098516⟩



Record views