Sciweavers

WCFLP
2005
ACM

A declarative debugger of incorrect answers for constraint functional-logic programs

14 years 6 months ago
A declarative debugger of incorrect answers for constraint functional-logic programs
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 functionallogic 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. Categories and Subject Descriptors D.3.2 [Programming languages]: Language Classifications—Multiparadigm languages; H.5.2 [Information Interfaces and Presentation]: User Interfaces— Graphical user interfaces (GUI) General Terms Languages Keywords Functional-Logic Languages, Declarative Debugging
Rafael Caballero
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where WCFLP
Authors Rafael Caballero
Comments (0)