2017/06/04 by Nada Sharaf, Sharaf, Nada, Slim Abdennadher +3
Computer Science · #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Teaching and Learning Programming
paper · pdf · doi:10.48550/arxiv.1706.01755
openalex publication_date 2017/06/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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. CHRvis aims at embedding animation and visualization features into CHR programs. It thus enables users, while executing programs, to have such executions animated. The paper aims at providing the operational semantics for CHRvis. The correctness of CHRvis programs is also discussed. Some applications of the new extension are also introduced.