Enhancing Declarative Debugging with Loop Expansion and Tree Compression

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

zbMATH Keywords

loop expansiontree compressiondeclarative debugging

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Algorithmic debugging generalized ⋮ A Generalized Model for Algorithmic Debugging

Uses Software

• DDebugger

This page was built for publication: Enhancing Declarative Debugging with Loop Expansion and Tree Compression