×

CHRAnimation

swMATH ID: 18637
Software Authors: Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Description: 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.
Homepage: http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/chr-visualisation.pdf
Keywords: constraint handling rules; algorithm visualization; algorithm animation; source-to-source transformation
Related Software: BALSA; Zeus; ANIMAL; JAWAA
Cited in: 2 Publications

Citations by Year