{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:56Z","timestamp":1748751176475,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319274355"},{"type":"electronic","value":"9783319274362"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27436-2_22","type":"book-chapter","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T07:06:46Z","timestamp":1450249606000},"page":"365-383","source":"Crossref","is-referenced-by-count":0,"title":["CHR in Action"],"prefix":"10.1007","author":[{"given":"Arwa","family":"Ismail","sequence":"first","affiliation":[]},{"given":"Nada","family":"Sharaf","sequence":"additional","affiliation":[]},{"given":"Slim","family":"Abdennadher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,17]]},"reference":[{"key":"22_CR1","unstructured":"SWI-Prolog - Manual. http:\/\/www.swi-prolog.org\/download\/xpce\/doc\/userguide\/userguide.pdf . Accessed 8 June 2015"},{"key":"22_CR2","unstructured":"SWI-Prolog GUI - Manual. http:\/\/www.swi-prolog.org\/packages\/xpce\/ . Accessed 8 June 2015"},{"key":"22_CR3","unstructured":"Abdennadher, S., Saft, M.: A visualization tool for constraint handling rules. In: Proceedings of 11th Workshop on Logic Programming Environments (2001)"},{"key":"22_CR4","unstructured":"Abdennadher, S., Sharaf, N.: Visualization of CHR through source-to-source transformation. In: Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012). Leibniz International Proceedings in Informatics (LIPIcs), vol. 17, pp. 109\u2013118. Dagstuhl, Germany (2012)"},{"key":"22_CR5","first-page":"369","volume":"1","author":"R Baecker","year":"1998","unstructured":"Baecker, R.: Sorting out sorting: a case study of software visualization for teaching computer science. Softw. Vis. Program. Multimedia Experience 1, 369\u2013381 (1998)","journal-title":"Softw. Vis. Program. Multimedia Experience"},{"issue":"3","key":"22_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/964965.808596","volume":"18","author":"MH Brown","year":"1984","unstructured":"Brown, M.H., Sedgewick, R.: A system for algorithm animation. SIGGRAPH Comput. Graph. 18(3), 177\u2013186 (1984)","journal-title":"SIGGRAPH Comput. Graph."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Brown, M.H.: Zeus: a system for algorithm animation and multi-view editing. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 4\u20139, October 1991","DOI":"10.1109\/WVL.1991.238857"},{"key":"22_CR8","unstructured":"Eisenstadt, M., Brayshaw, M.: Graphical debugging with the transparent PROLOG machine (TPM). In: McDermott, J.P. (ed.) Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 83\u201386. Morgan Kaufmann, August 1987"},{"issue":"1\u20133","key":"22_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules, special issueon constraint logic programming. J. Logic Program. 37(1\u20133), 95\u2013138 (1998)","journal-title":"J. Logic Program."},{"key":"22_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886","volume-title":"Constraint Handling Rules","author":"T Fr\u00fchwirth","year":"2009","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, New York (2009)"},{"key":"22_CR11","unstructured":"Fr\u00fchwirth, T., Holzbaur, C.: Source-to-source transformation for a class of expressive rules. In: Buccafurri, F. (ed.) APPIA-GULP-PRODE, pp. 386\u2013397 (2003)"},{"key":"22_CR12","first-page":"53","volume":"6","author":"S Halim","year":"2012","unstructured":"Halim, S., Koh, Z.C., Loh, V., Halim, F.: Learning algorithms with unified and interactive web-based visualization. Olympiads Inform. 6, 53\u201368 (2012)","journal-title":"Olympiads Inform."},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1006\/jvlc.2002.0237","volume":"13","author":"C Hundhausen","year":"2002","unstructured":"Hundhausen, C., Douglas, S., Stasko, J.: A meta-study of algorithm visualization effectiveness. J. Vis. Lang. Comput. 13(3), 259\u2013290 (2002)","journal-title":"J. Vis. Lang. Comput."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Pierson, W.C., Rodger, S.H.: Web-based animation of data structures using JAWAA. In: Proceedings of the Twenty-Ninth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, pp. 267\u2013271. ACM, New York (1998)","DOI":"10.1145\/274790.274310"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"R\u00f6\u00dfling, G., Sch\u00fcer, M., Freisleben, B.: The animal algorithm animation tool. In: ACM SIGCSE Bulletin, vol. 32, pp. 37\u201340. ACM (2000)","DOI":"10.1145\/353519.343069"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Senay, H., Lazzeri, S.G.: Graphical representation of logic programs and their behavior. In: Proceedings of the 1991 IEEE Workshop on Visual Languages, Japan, 8\u201311 October 1991, pp. 25\u201331. IEEE Computer Society (1991)","DOI":"10.1109\/WVL.1991.238854"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-319-17822-6_6","volume-title":"Logic-Based Program Synthesis and Transformation","author":"N Sharaf","year":"2015","unstructured":"Sharaf, N., Abdennadher, S., Fr\u00fchwirth, T.: CHRAnimation: an animation tool for constraint handling rules. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 92\u2013110. Springer, Heidelberg (2015)"},{"key":"22_CR18","unstructured":"Sharaf, N., Abdennadher, S., Fr\u00fchwirth, T.W.: Visualization of constraint handling rules. CoRR, abs\/1405.3793 (2014)"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/10722311_8","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"H Simonis","year":"2000","unstructured":"Simonis, H., Aggoun, A.: Search-tree visualisation. In: Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.) DiSCiPl. LNCS, vol. 1870, pp. 191\u2013208. Springer, Heidelberg (2000)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-59155-9_14","volume-title":"Constraint Programming: Basics and Trends","author":"G Smolka","year":"1994","unstructured":"Smolka, G.: The definition of kernel oz. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, pp. 251\u2013292. Springer, Heidelberg (1994)"},{"key":"22_CR21","unstructured":"Wielemaker, J., Anjewierden, A.: An architecture for making object-oriented systems available from prolog. arXiv preprint cs\/0207053 (2002)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27436-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T20:15:35Z","timestamp":1748722535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27436-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319274355","9783319274362"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}