Publications

about 'program generation'

Articles in journal, book chapters

  1. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 70-84. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation.
  2. 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.
  3. 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.

Conference articles

  1. Slim Abdennadher and Ingi Sobhi. Generation of Rule-based Constraint Solvers: Combined Approach. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, 2008. Keyword(s): program generation.
  2. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP08l, volume 5202 of LNCS, pages 588-592, September 2008. SV. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation.
  3. Slim Abdennadher, Abdellatif Olama, Noha Salem, and Amira Thabet. ARM: Automatic Rule Miner. In LOPSTR06, volume 4407 of LNCS, July 2006. SV. Keyword(s): program generation.
  4. Sebastian Brand and Eric Monfroy. Deductive Generation of Constraint Propagation Rules. In G. Vidal, editor, RULE '03: 4th Intl. Workshop on Rule-Based Programming, volume 86(2) of ENTCS, pages 45-60, September 2003. Elsevier. Keyword(s): program generation.
  5. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 25-39, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): program generation.

Internal reports

  1. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. Ulmer Informatik Berichte 2008-03, Ulm University, Germany, February 2008. [WWW] Keyword(s): program generation.

BACK TO INDEX