HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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

https://hal.inria.fr/inria-00098516
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:03:05 PM
Last modification on : Friday, February 4, 2022 - 3:22:14 AM

Identifiers

  • HAL Id : inria-00098516, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

56