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.
Type de document :
Communication dans un congrès
Claude Kirchner, Helene Kirchner. Proceedings of The Second International Workshop on Rewriting Logic & its Applications, WRLA'98, 1998, Pont-à-Mousson, France, 15, pp.379-398, 1998, ENTCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00098516
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:05
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098516, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

89