zbMATH — the first resource for mathematics

\(\mathcal{DDT}\): a declarative debugging tool for functional-logic languages. (English) Zbl 1122.68366
Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 70-84 (2004).
Summary: We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system \(\mathcal{TOY}\), 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.
For the entire collection see [Zbl 1048.68005].
Reviewer: Reviewer (Berlin)

68N17 Logic programming
68N18 Functional programming and lambda calculus
Curry; TOY
Full Text: DOI