Articles in journal, book chapters
- Slim Abdennadher and Christophe Rigotti. Automatic generation of CHR constraint solvers. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 403-418. CUP, July 2005. [doi:10.1017/S1471068405002371] Keyword(s): program generation.
- Slim Abdennadher and Christophe Rigotti. Automatic generation of rule-based constraint solvers over finite domains. TOCL, 5(2):177-205, 2004. ISSN: 1529-3785. Keyword(s): program generation.
- Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP01l, pages 127-135, September 2001. ACM. ISBN: 1-58113-388-X. Keyword(s): confluence.
BACK TO INDEX