{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T21:10:03Z","timestamp":1747948203712,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319178219"},{"type":"electronic","value":"9783319178226"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17822-6_6","type":"book-chapter","created":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T05:57:31Z","timestamp":1429682251000},"page":"92-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["CHRAnimation: An Animation Tool for Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Nada","family":"Sharaf","sequence":"first","affiliation":[]},{"given":"Slim","family":"Abdennadher","sequence":"additional","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"key":"6_CR1","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 issue on constraint logic programming. J. Logic Program. 37, 95\u2013138 (1998)","journal-title":"J. Logic Program."},{"key":"6_CR2","unstructured":"Abdennadher, S., Sharaf, N.: Visualization of CHR through source-to-source transformation. In: Dovier, A., Costa, V.S. (eds.) ICLP (Technical Communications). LIPIcs, vol. 17, pp. 109\u2013118. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Rodger, S.H.: Introducing computer science through animation and virtual worlds. In: Gersting, J.L., Walker, H.M., Grissom, S. (eds.) SIGCSE, pp. 186\u2013190. ACM (2002)","DOI":"10.1145\/563517.563411"},{"key":"6_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":"GJ Duck","year":"2004","unstructured":"Duck, G.J., Stuckey, P.J., Garc\u00eda 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\u2013104. Springer, Heidelberg (2004)"},{"key":"6_CR5","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, Cambridge (2009)"},{"key":"6_CR6","unstructured":"Abdennadher, S., Saft, M.: A visualization tool for constraint handling rules. In: Kusalik, A.J. (ed.) WLPE (2001)"},{"key":"6_CR7","unstructured":"Schmauss, M.: An Implementation of CHR in Java, Master Thesis, Institute of Computer Science, LMU, Munich, Germany (1999)"},{"key":"6_CR8","unstructured":"Ismail, A.: Visualization of Grid-based and Fundamental CHR Algorithms, bachelor thesis, the Institute of Software Engineering and Compiler Construction, Ulm University, Germany (2012)"},{"key":"6_CR9","unstructured":"Said, M.A.: Animation of Mathematical and Graph-based Algorithms expressed in CHR, bachelor thesis, the Institute of Software Engineering and Compiler Construction, Ulm University, Germany (2012)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/130956.130959","volume":"23","author":"J Stasko","year":"1992","unstructured":"Stasko, J.: Animating algorithms with xtango. SIGACT News 23, 67\u201371 (1992)","journal-title":"SIGACT News"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Brown, M.H., Sedgewick, R.: A system for algorithm animation. In: Proceedings of the 11th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1984, pp. 177\u2013186. ACM, New York (1984)","DOI":"10.1145\/964965.808596"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Brown, M.: Zeus: a system for algorithm animation and multi-view editing. In: Proceedings of the 1991 IEEE Workshop on Visual Languages, pp. 4\u20139 (1991)","DOI":"10.1109\/WVL.1991.238857"},{"key":"6_CR13","first-page":"369","volume-title":"Sorting Out Sorting: A Case Study of Software Visualization for Teaching Computer Science, chap. 24","author":"RM Baecker","year":"1998","unstructured":"Baecker, R.M.: Sorting Out Sorting: A Case Study of Software Visualization for Teaching Computer Science, chap. 24, pp. 369\u2013381. MIT Press, Cambridge (1998)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint Programming: Basics and Trends","author":"G Smolka","year":"1995","unstructured":"Smolka, G.: The definition of kernel oz. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910. Springer, Heidelberg (1995)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-59479-5","volume-title":"Principles and Practice of Constraint Programming - CP \u201995","author":"M Meier","year":"1995","unstructured":"Meier, M.: Debugging constraint programs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976. Springer, Heidelberg (1995)"},{"key":"6_CR16","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":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45875-1_1","volume-title":"Software Visualization","author":"A Kerren","year":"2002","unstructured":"Kerren, A., Stasko, J.T.: Algorithm animation. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 1\u201317. Springer, Heidelberg (2002)"},{"key":"6_CR18","unstructured":"Sharaf, N., Abdennadher, S., Fr\u00fchwirth, T. W.: Visualization of Constraint Handling Rules, CoRR, vol. abs\/1405.3793 (2014)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP 1996","author":"S Abdennadher","year":"1996","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: On confluence of constraint handling rules. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol. 1118. Springer, Heidelberg (1996)"},{"key":"6_CR20","unstructured":"Zaki, A., Fr\u00fchwirth, T.W., Abdennadher, S.: Towards inverse execution of constraint handling rules. TPLP 13(4-5) (2013) Online-Supplement"},{"key":"6_CR21","unstructured":"Abdennadher, S., Fakhry, G., Sharaf, N.: Implementation of the operational semantics for CHR with user-defined rule priorities. In: Christiansen, H., Sneyers, J. (eds.) Proceedings of the 10th Workshop on Constraint Handling Rules, pp. 1\u201312, Technical report CW 641, (2013)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-319-14125-1_9","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G Fakhry","year":"2014","unstructured":"Fakhry, G., Sharaf, N., Abdennadher, S.: Towards the implementation of a source-to-source transformation tool for CHR operational semantics. In: Gupta, G., Pe\u00f1a, R. (eds.) LOPSTR 2013, LNCS 8901. LNCS, vol. 8901, pp. 145\u2013163. Springer, Heidelberg (2014)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055987","volume-title":"Flexible Query Answering Systems","author":"S Abdennadher","year":"1998","unstructured":"Abdennadher, S., Sch\u00fctz, H.: CHRv: a flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol. 1495, pp. 1\u201314. Springer, Heidelberg (1998)"},{"issue":"3","key":"6_CR24","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":"6_CR25","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Fr\u00fchwirth, T., Marte, M.: Soft constraint propagation and solving in chrs. In: Proceedings of the 2002 ACM Symposium on Applied Computing, pp. 1\u20135. ACM (2002)","DOI":"10.1145\/508791.508793"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17822-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T20:30:58Z","timestamp":1747945858000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17822-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319178219","9783319178226"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17822-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}