$\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages [chapter]

Rafael Caballero, Mario Rodríguez-Artalejo
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
more » ... at the user must consider w.r.t. the usual top-down navigation strategy. Moreover, the tool includes some extra features that can be used to automatically simplify the computation trees.
doi:10.1007/978-3-540-24754-8_7 fatcat:rtbrt3y7kzd4fcecf2srrqkruu