Visualization of CHR through source-to-source transformation

DOI10.4230/LIPICS.ICLP.2012.109MaRDI QIDQ5398049zbMATH OpenOpenAlexFDO

Authors Slim Abdennadher, Nada Sharaf

Publication date 25 February 2014

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3614/pdf/12.pdf

zbMATH Keywords

constraint handling rulessource-to-source transformationvisualization

Mathematics Subject Classification ID

Logic programming (68N17) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• CHR in action
• scientific article; zbMATH DE number 7047281
• Theory and practice of constraint handling rules
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Logic Programming

Cited in

(3)

• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Unfolding for CHR programs
• CHR in action

This page was built for publication: Visualization of CHR through source-to-source transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398049)