A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
$\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages
[chapter]
2004
Lecture Notes in Computer Science
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computation tree corresponding to some erroneous computation. During the navigation the users can either follow a fixed strategy or move freely providing information about the validity of the nodes as they like. We show by means of examples how this flexibility can reduce both the number and the complexity of the questions
doi:10.1007/978-3-540-24754-8_7
fatcat:rtbrt3y7kzd4fcecf2srrqkruu