CHR^vis: Syntax and Semantics

Authors Nada Sharaf, Slim Abdennadher, Thom Frühwirth

Thumbnail PDF


  • Filesize: 0.67 MB
  • 20 pages

Document Identifiers

Author Details

Nada Sharaf
  • The German University in Cairo, Egypt
Slim Abdennadher
  • The German University in Cairo, Egypt
Thom Frühwirth
  • Ulm University, Germany

Cite AsGet BibTex

Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR^vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 5:1-5:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


The work in the paper presents an animation extension (CHR^{vis}) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It can help identify where a problem is or show how something works. It can even illustrate a relation that was not clear otherwise. CHR^{vis} aims at embedding animation and visualization features into CHR programs. It thus enables users, while executing programs, to have such executions animated. The paper aims at providing the operational semantics for CHR^{vis}. The correctness of CHR^{vis} programs is also discussed.

Subject Classification

ACM Subject Classification
  • Human-centered computing → Visualization systems and tools
  • Constraint Handling Rules
  • Visualization
  • Animation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss. JACK: A java constraint kit. Electr. Notes Theor. Comput. Sci., 64:1-17, 2002. Google Scholar
  2. Slim Abdennadher and Matthias Saft. A Visualization Tool for Constraint Handling Rules. In In Proceedings of 11th Workshop on Logic Programming Environments, 2001. Google Scholar
  3. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vítor Santos Costa, editors, ICLP (Technical Communications), volume 17 of LIPIcs, pages 109-118. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. URL:
  4. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. Theory and Practice of Logic Programming, 10:597-610, July 2010. Google Scholar
  5. Marc H. Brown. Zeus: A System for Algorithm Animation and Multi-View Editing. In VL, pages 4-9, 1991. Google Scholar
  6. Marc H. Brown and Robert Sedgewick. A System for Algorithm Animation. In Proceedings of, SIGGRAPH '84, pages 177-186, New York, NY, USA, 1984. ACM. Google Scholar
  7. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In Bart Demoen and Vladimir Lifschitz, editors, Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, volume 3132 of Lecture Notes in Computer Science, pages 90-104. Springer, 2004. Google Scholar
  8. Thom Frühwirth. Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. Journal of Logic Programming, 37(1-3):95-138, October 1998. Google Scholar
  9. Thom Frühwirth. Constraint Handling Rules. Cambridge University Press, August 2009. Google Scholar
  10. Thom W. Frühwirth. Constraint Handling Rules - What Else? In Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, and Dumitru Roman, editors, Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings, volume 9202 of Lecture Notes in Computer Science, pages 13-34. Springer, 2015. Google Scholar
  11. Willard C. Pierson and Susan H. Rodger. Web-based Animation of Data structures using JAWAA. In John Lewis, Jane Prey, Daniel Joyce, and John Impagliazzo, editors, Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pages 267-271. ACM, 1998. Google Scholar
  12. GFrank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR states revisited. In 6th International Workshop on Constraint Handling Rules (CHR), pages 34-48, 2009. Google Scholar
  13. Matthias Schmauss. An Implementation of CHR in Java. Master’s thesis, Master Thesis, Institute of Computer Science, LMU, Munich, Germany, November 1999. Google Scholar
  14. Nada Sharaf, Slim Abdennadher, and Thom W. Frühwirth. CHRAnimation: An Animation Tool for Constraint Handling Rules. In Maurizio Proietti and Hirohisa Seki, editors, Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, volume 8981 of Lecture Notes in Computer Science, pages 92-110. Springer, 2014. Google Scholar
  15. Nada Sharaf, Slim Abdennadher, and Thom W. Frühwirth. Visualization of Constraint Handling Rules. CoRR, abs/1405.3793, 2014. Google Scholar
  16. John Stasko. Animating algorithms with XTANGO. SIGACT News, 23(2):67-71, May 1992. Google Scholar