License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-36148
URL:

;

Visualization of CHR through Source-to-Source Transformation

pdf-format:


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: 2012


DROPS-Home | Fulltext Search | Imprint Published by LZI