Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

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

Résumé

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.
Fichier non déposé

Dates et versions

inria-00098516 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098516 , version 1

Citer

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⟩
58 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More