{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:29:08Z","timestamp":1725550148025},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292081"},{"type":"electronic","value":"9783540319474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562931_9","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T09:28:42Z","timestamp":1128763722000},"page":"83-97","source":"Crossref","is-referenced-by-count":4,"title":["Guard and Continuation Optimization for Occurrence Representations of CHR"],"prefix":"10.1007","author":[{"given":"Jon","family":"Sneyers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Demoen, B.: hProlog home page, http:\/\/www.cs.kuleuven.ac.be\/~bmd\/hProlog"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Duck, G., Schrijvers, T., Stuckey, P.: Abstract Interpretation for Constraint Handling Rules. In: Leuven, K.U. (ed.) Report CW 391, Department of Computer Science, Leuven, Belgium (September 2004)","DOI":"10.1145\/1069774.1069795"},{"key":"9_CR3","volume-title":"Proceedings of the 5th International Conference on Principles and Practice of Declarative Programming (PPDP 2003)","author":"G. Duck","year":"2003","unstructured":"Duck, G., Stuckey, P., de la Banda, M.G., Holzbaur, C.: Extending Arbitrary Solvers with Constraint Handling Rules. In: Miller, D. (ed.) Proceedings of the 5th International Conference on Principles and Practice of Declarative Programming (PPDP 2003). ACM Press, New York (2003)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-27775-0_7","volume-title":"Logic Programming","author":"G. Duck","year":"2004","unstructured":"Duck, G., Stuckey, P., 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.\u00a03132, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules. In: Stuckey, P., Marriot, K. (eds.) Special Issue on Constraint Logic Programming, Journal of Logic Programming, October 1998, vol.\u00a037 (1\u20133) (1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., de la Banda, M.G., Stuckey, P., Duck, G.: Optimizing compilation of Constraint Handling Rules in HAL. In: Special Issue of Theory and Practice of Logic Programming on CHR (2005) (to appear)","DOI":"10.1017\/S1471068405002413"},{"key":"9_CR7","unstructured":"Schrijvers, T.: CHR benchmarks and programs. Available at the K.U.Leuven CHR home page at http:\/\/www.cs.kuleuven.ac.be\/~toms\/Research\/CHR\/"},{"key":"9_CR8","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: implementation and application. In: Fr\u00fchwirth, T., Meister, M. (eds.) First Workshop on Constraint Handling Rules: Selected Contributions, number\u00a02004-01 (2004)"},{"key":"9_CR9","unstructured":"Schrijvers, T., Fr\u00fcwirth, T.: Implementing and Analysing Union-Find in CHR. Technical Report CW 389, K.U.Leuven, Dept. Computer Science (July 2004)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Stuckey, P., Duck, G.: Abstract Interpretation for Constraint Handling Rules. In: Proceedings of the 7th Intl. Conference on Principles and Practice of Declarative Programming (PPDP 2005), Lisbon, Portugal (July 2005)","DOI":"10.1145\/1069774.1069795"},{"key":"9_CR11","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard Simplification in CHR programs. Technical Report CW 396, K.U.Leuven, Dept. CS (November 2004)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard and Continuation Optimization for Occurrence Representations of CHR. Technical Report CW 420, K.U.Leuven, Dept. CS (July 2005)","DOI":"10.1007\/11562931_9"},{"key":"9_CR13","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Guard Simplification in CHR programs. In: Proceedings of the 19th Workshop on (Constraint) Logic Programming (WCLP 2005), Ulm, Germany (February 2005)"},{"key":"9_CR14","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: Mercury: an efficient purely declarative logic programming language. In: Proceedings of the 18th Australian Computer Science Conference, Glenelg, Australia, pp. 499\u2013512 (1995)"},{"key":"9_CR15","unstructured":"Wielemaker, J.: SWI-Prolog home page, http:\/\/www.swi-prolog.org"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562931_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:52:14Z","timestamp":1605624734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562931_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292081","9783540319474"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11562931_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}