Now showing items 1-1 of 1

    • CHRvis: an animation extension for animating constraint handling rules 

      Sharaf, Nada (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 ...