DROPS

Document

DOI: 10.4230/OASIcs.ICLP.2018.5

CHR^vis: Syntax and Semantics

Authors: Nada Sharaf, Slim Abdennadher, and Thom Frühwirth

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

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.

Cite as

Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR^vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 5:1-5:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{sharaf_et_al:OASIcs.ICLP.2018.5,
  author =	{Sharaf, Nada and Abdennadher, Slim and Fr\"{u}hwirth, Thom},
  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 =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.5},
  URN =		{urn:nbn:de:0030-drops-98716},
  doi =		{10.4230/OASIcs.ICLP.2018.5},
  annote =	{Keywords: Constraint Handling Rules, Visualization, Animation}
}

Document

DOI: 10.4230/LIPIcs.ICLP.2012.109

Visualization of CHR through Source-to-Source Transformation

Authors: Slim Abdennadher and Nada Sharaf

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

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.

Cite as

Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 109-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{abdennadher_et_al:LIPIcs.ICLP.2012.109,
  author =	{Abdennadher, Slim and Sharaf, Nada},
  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 =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.109},
  URN =		{urn:nbn:de:0030-drops-36148},
  doi =		{10.4230/LIPIcs.ICLP.2012.109},
  annote =	{Keywords: Source-to-Source Transformation, Constraint Handling Rules, Visualization}
}

Search Results

Documents authored by Sharaf, Nada

CHR^vis: Syntax and Semantics

Abstract

Cite as

Visualization of CHR through Source-to-Source Transformation

Abstract

Cite as

Thanks for your feedback!

Could not send message