CHRAnimation: An Animation Tool for Constraint Handling Rules

Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations.

[1]  Robert Sedgewick,et al.  A system for algorithm animation , 1984, SIGGRAPH.

[2]  John T. Stasko,et al.  Please address correspondence to , 2000 .

[3]  Slim Abdennadher,et al.  Visualization of CHR through Source-to-Source Transformation , 2012, ICLP.

[4]  Hugh Jones,et al.  How to run , 2010 .

[5]  Peter J. Stuckey,et al.  The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.

[6]  Slim Abdennadher,et al.  Chr _ : a Flexible Query Language , 2022 .

[7]  Gert Smolka,et al.  The Definition of Kernel Oz , 1994, Constraint Programming.

[8]  John T. Stasko,et al.  Algorithm Animation - Introduction , 2001, Software Visualization.

[9]  Andrés Moreno.  Algorithm Animation , 2006, Human-Centered Visualization Environments.

[10]  Slim Abdennadher,et al.  Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics , 2013, LOPSTR.

[11]  Andreas Kerren,et al.  Chapter 1 Algorithm Animation , 2002 .

[12]  Marc H. Brown,et al.  Algorithm animation , 1988 .

[13]  Slim Abdennadher,et al.  A Visualization Tool for Constraint Handling Rules , 2001, WLPE.

[14]  John Stasko.  Animating algorithms with XTANGO , 1992, SIGA.

[15]  Slim Abdennadher,et al.  Towards Inverse Execution of Constraint Handling Rules , 2013, Theory Pract. Log. Program..

[16]  Robert Sedgewick,et al.  SYSTEM FOR ALGORITHM ANIMATION. , 1984 .

[17]  Susan H. Rodger,et al.  Introducing computer science through animation and virtual worlds , 2002, SIGCSE '02.

[18]  Thom W. Frühwirth,et al.  Source-to-Source Transformation for a Class of Expressive Rules , 2003, APPIA-GULP-PRODE.

[19]  Arabellastrasse,et al.  Constraint Handling Rules ? , 1995 .

[20]  Slim Abdennadher,et al.  Visualization of Constraint Handling Rules , 2014, ArXiv.

[21]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[22]  Slim Abdennadher,et al.  On Confluence of Constraint Handling Rules , 1996, CP.

[23]  Andreas Podelski,et al.  Constraint Programming: Basics and Trends , 1995, Lecture Notes in Computer Science.

[24]  Mostafa Ali Said.  Animation of Mathematical and Graph-based Algorithms Expressed in Chr , .

[25]  Marc H. Brown,et al.  Zeus: a system for algorithm animation and multi-view editing , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[26]  Thom W. Frühwirth,et al.  Soft constraint propagation and solving in CHRs , 2002, SAC '02.

[27]  Micha Meier.  Debugging Constraint Programs , 1995, CP.

[28]  Matthias Schmauss.  An Implementation of CHR in Java , 1999 .