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

https://hal.inria.fr/inria-00099984
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:13:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099984, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

91