License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.109
URN: urn:nbn:de:0030-drops-36148
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3614/
Go to the corresponding Portal


Abdennadher, Slim ; Sharaf, Nada

Visualization of CHR through Source-to-Source Transformation

pdf-format:
Document 1.pdf (507 KB)


Abstract

In this paper, we propose an extension of Constraint Handling Rules (CHR) with different visualization features. One feature is to visualize the execution of rules applied on a list of constraints. The second feature is to represent some of the CHR constraints as objects and visualize the effect of CHR rules on them. To avoid changing the compiler, our implementation is based on source-to-source transformation.

BibTeX - Entry

@InProceedings{abdennadher_et_al:LIPIcs:2012:3614,
  author =	{Slim Abdennadher and Nada Sharaf},
  title =	{{Visualization of CHR through Source-to-Source Transformation}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{109--118},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3614},
  URN =		{urn:nbn:de:0030-drops-36148},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109},
  annote =	{Keywords: Source-to-Source Transformation, Constraint Handling Rules, Visualization}
}

Keywords: Source-to-Source Transformation, Constraint Handling Rules, Visualization
Seminar: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue Date: 2012
Date of publication: 27.07.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI