about 'Visualization'

Articles in journal, book chapters

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.

Conference articles

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Rule-Based Visualization of Tableau Calculus for Propositional Logic. In 22nd International Conference Information Visualisation (IV 2018), pages 368-372, 2018. IEEE.
  2. N. Sharaf, S. Abdennadher, and T. Frühwirth. DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. In 2015 19th International Conference on Information Visualisation, pages 121-126, July 2015. ISSN: 1550-6037. [doi:10.1109/iV.2015.31] Keyword(s): constraint handling, program visualisation, visual languages, CHR program diagrammatic representation, DiagrammaticCHR, animation, constraint handling rules, general purpose language, visualization features, Animation, Color, Joining processes, Semantics, Solids, Syntactics, Visualization, Constraint Handling Rules, Program Animation, Visual Language.
  3. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:]
  4. Hugo Simões and Mário Florido. TypeTool: A Type Inference Visualization Tool. In H. Kuchen, editor, WFLP '04: Proc. 13th Intl. Workshop on Functional and (Constraint) Logic Programming, RWTH Aachen, deptcw, Technical report AIB-2004-05, Aachen, Germany, pages 48-61, June 2004. Keyword(s): type systems.
  5. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE01, December 2001.