Now showing items 1-1 of 1
CHRvis: an animation extension for animating constraint handling rules
(Universität Ulm, 2019-07-16)
The work in the thesis presents an animation extension (CHRvis) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It ...