FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: