CHRvis: Syntax and Semantics
Authors: Nada Sharaf, Slim Abdennadher and Thom Fruehwirth
Paper Information
Title: | CHRvis: Syntax and Semantics |
Authors: | Nada Sharaf, Slim Abdennadher and Thom Fruehwirth |
Proceedings: | ICLP Proceedings of ICLP 2018 |
Editors: | Paul Tarau and Alessandro Dal Palu' |
Keywords: | Visualization, Animation, Constraint Handling Rules |
Abstract: | ABSTRACT. The work in the paper 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 can help identify where a problem is or show how something works. It can even illustrate a relation that was not clear otherwise. |
Pages: | 20 |
Talk: | Jul 17 17:30 (Session 123: Technical Communications II) |
Paper: |