Why no one uses functional languages
ACM SIGPLAN Notices
Algorithmic Program DeBugging
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
Journal of Functional Programming
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science (ENTCS)
State of the Practice in Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Framework for Debugging in Declarative Constraint Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative study of algorithmic debugging strategies
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Declarative diagnosis of missing answers in constraint functional-logic programming
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Enhancing the debugging of Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Scaling up algorithmic debugging with virtual execution trees
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Abstract diagnosis of first order functional logic programs
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
A survey on algorithmic debugging strategies
Advances in Engineering Software
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Declarative diagnosis of wrong answers in constraint functional-logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
An optimal strategy for algorithmic debugging
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Implementation of an Optimal Strategy for Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution often are not suitable for debugging declarative programming languages. We present here a graphical debugging environment for constraint lazy functional-logic programs based on declarative debugging. The debugger displays the computation tree associated with a computation which has produced an incorrect answer, and navigates it with the assistance of the user until the error, an incorrect program rule, is found out. The debugger supports programs including equality and disequality constraints.