Sciweavers

Share
FLOPS
2004
Springer

DDT: a Declarative Debugging Tool for Functional-Logic Languages

10 years 4 months ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
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 that 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.
Rafael Caballero, Mario Rodríguez-Artalejo
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FLOPS
Authors Rafael Caballero, Mario Rodríguez-Artalejo
Comments (0)
books