License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2018.5
URN: urn:nbn:de:0030-drops-98716
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9871/
Sharaf, Nada ;
Abdennadher, Slim ;
Frühwirth, Thom
CHR^vis: Syntax and Semantics
Abstract
The work in the paper presents an animation extension (CHR^{vis}) 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. CHR^{vis} 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 CHR^{vis}. The correctness of CHR^{vis} programs is also discussed.
BibTeX - Entry
@InProceedings{sharaf_et_al:OASIcs:2018:9871,
author = {Nada Sharaf and Slim Abdennadher and Thom Fr{\"u}hwirth},
title = {{CHR^vis: Syntax and Semantics}},
booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
pages = {5:1--5:20},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-090-3},
ISSN = {2190-6807},
year = {2018},
volume = {64},
editor = {Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9871},
URN = {urn:nbn:de:0030-drops-98716},
doi = {10.4230/OASIcs.ICLP.2018.5},
annote = {Keywords: Constraint Handling Rules, Visualization, Animation}
}
Keywords: |
|
Constraint Handling Rules, Visualization, Animation |
Collection: |
|
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) |
Issue Date: |
|
2018 |
Date of publication: |
|
19.11.2018 |