Aggregates for CHR through program transformation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4915 LNCS, Issue , 2008, Pages 59-73

  Van Weert, Peter ^a   Sneyers, Jon ^a   Demoen, Bart ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

FOURIER TRANSFORMS; LOGIC PROGRAMMING; PROGRAM COMPILERS;

CONSTRAINT-HANDLING RULES (CHR); PROGRAM TRANSFORMATIONS;

AGGREGATES;

EID: 58449135183     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78769-3_5     Document Type: Conference Paper

References (12)

1. The CHR Home Page. http://www.cs.kuleuven.be/~dtai/projects/CHR/
2. De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 2007, pp. 25-36 (2007)
3. Duck, G.J., Stuckey, P.J., de la Banda, M.G., 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)
4. Frühwirth, T.: Theory and practice of Constraint Handling Rules. Journal of Logic Programming 37(1-3), 95-138 (1998)
5. Kiczales, G., Lamping, J., Mendhekar, A., Meda, C., Lopes, C., Loingtier, J.-M., Irwing, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
6. Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: Implementation and application. In: Selected Contributions, First Workshop on Constraint Handling Rules, (May 2004), http://www.cs.kuleuven.be/~toms/CHR/
7. Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of Constraint Handling Rules. In: Second Workshop on Constraint Handling Rules, October 2005, pp. 3-17. Sitges, Spain (2005)
8. Sneyers, J., Van Weert, P., Schrijvers, T., Demoen, B.: Aggregates in CHR. In: Fourth Workshop on Constraint Handling Rules (2007) (to appear)
9. Sneyers, J., Van Weert, P., Schrijvers, T., Demoen, B.: Aggregates in CHR. Technical Report CW481, Dept. Computer Science, K.U.Leuven (2007)
10. ISO/IEC 9075:2003: Information technology - Database languages - SQL
11. Van Weert, P., Sneyers, J., Schrijvers, T., Demoen, B.: Extending CHR. with negation as absence. In: Third Workshop on Constraint Handling Rules, Venice, Italy, pp. 125-139 (2006)
12. Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: 13th Intl. Workshop on Logic Programming Environments, pp. 1-16. Heverlee, Belgium (2003), http://www.swi-prolog.org