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

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 for designing interactive component languages and basic coordination languages. In our language, concurrent rules manage interactions and applications of call-back functions on a store of data that can freely be structured as an array, a list, a set of communication channels, etc. This rule language is a kind of an abstract machine to write interactive component languages. We then propose a specific component language to write solver cooperation languages. We illustrate the use of this language to specify and implement a cooperation language for constraint solving.
Document type :
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:41:08 AM
Last modification on : Friday, February 4, 2022 - 3:30:41 AM


  • HAL Id : inria-00099780, version 1



Carlos Castro, Eric Monfroy, Christophe Ringeissen. A Rule Language for Interaction. [Intern report] A03-R-236 || castro03a, 2003, 15 p. ⟨inria-00099780⟩



Record views