Execution Control for CHR

1. De Koninck, L.: Execution control for Constraint Handling Rules. Ph.D thesis, K.U.Leuven (2008)

   Google Scholar 

2. Frühwirth, T.: Theory and practice of Constraint Handling Rules. J. Log. Program. 37(1-3), 95–138 (1998)

   Article  MathSciNet  MATH  Google Scholar 

3. Ganzinger, H., McAllester, D.A.: Logical algorithms. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 209–223. Springer, Heidelberg (2002)

   Chapter  Google Scholar 

4. Duck, G.J., Stuckey, P.J., García de la Banda, M., Holzbaur, C.: The refined operational semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 90–104. Springer, Heidelberg (2004)

   Chapter  Google Scholar 

5. De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: Leuschel, M., Podelski, A. (eds.) PPDP 2007, pp. 25–36. ACM, New York (2007)

   Google Scholar 

6. De Koninck, L., Stuckey, P.J., Duck, G.J.: Optimizing compilation of CHR with rule priorities. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 32–47. Springer, Heidelberg (2008)

   Chapter  Google Scholar 

7. De Koninck, L.: Logical Algorithms meets CHR: A meta-complexity theorem for Constraint Handling Rules with rule priorities. In: TPLP (to appear, 2009)

   Google Scholar 

8. Frühwirth, T.: As time goes by II: More automatic complexity analysis of concurrent rule programs. In: Quantitative Aspects of Programming Languages: Selected Papers. ENTCS, vol. 59. Elsevier, Amsterdam (2002)

   Google Scholar 

9. Abdennadher, S., Schütz, H.: CHR^∨: A flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS, vol. 1495, pp. 1–14. Springer, Heidelberg (1998)

   Chapter  Google Scholar 

Download references