Visualization of Constraint Handling Rules: Semantics and Applications

Nada Sharaf, Slim Abdennadher, Thom Frühwirth

The work in the paper presents an animation extension ($CH{R}^{vis}$) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug prog…