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.
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
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
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〉
