CHRAnimation

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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Ismail, Arwa; Sharaf, Nada; Abdennadher, Slim: CHR in action (2015)
  2. Proietti, Maurizio (ed.); Seki, Hirohisa (ed.): Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9--11, 2014. Revised selected papers (2015)
  3. Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom: CHRAnimation: an animation tool for constraint handling rules (2015) ioport