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

A Rule Language for Interaction

Carlos Castro Eric Monfroy Christophe Ringeissen 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 propose a rule language to design interactive component languages and basic coordination languages. In our language, concurrent rules manage interactions of call-back functions that apply on a store of data. This store can freely be structured as an array, a list, a set of communication channels, etc. Our rule language can be seen as an abstract machine to specify and implement interactive component languages. We also propose such a component language devoted to solver cooperations and solver cooperation languages. We illustrate the use of this specific component language to implement some primitives of an existing solver cooperation language.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 10:13:04 AM
Last modification on : Friday, February 4, 2022 - 3:22:48 AM


  • HAL Id : inria-00099984, version 1



Carlos Castro, Eric Monfroy, Christophe Ringeissen. A Rule Language for Interaction. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming - CSCLP'03, May 2004, Budapest, Hongrie, pp.154-170. ⟨inria-00099984⟩



Record views