Enhancing Declarative Debugging with Loop Expansion and Tree Compression
From MaRDI portal
Publication:2848898
DOI10.1007/978-3-642-38197-3_6zbMath1394.68075OpenAlexW1475243697MaRDI QIDQ2848898
Josep Silva, César Tomás, David Insa
Publication date: 13 September 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10251/36674
Related Items (2)
Uses Software
This page was built for publication: Enhancing Declarative Debugging with Loop Expansion and Tree Compression