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.
Type de document :
[Intern report] A03-R-236 || castro03a, 2003, 15 p
Liste complète des métadonnées

Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:41:08
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58


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



Consultations de la notice