DDT: A declarative debugging tool for functional-logic languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2998, Issue , 2004, Pages 70-84

  Caballero, Rafael ^a   Rodríguez Artalejo, Mario ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; FORESTRY; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

COMPUTATION TREES; DECLARATIVE DEBUGGING; FIXED STRATEGY; FUNCTIONAL LOGIC LANGUAGES; GRAPHICAL TOOLS; NAVIGATION STRATEGIES; TOPDOWN; WRONG ANSWERS;

COMPUTER CIRCUITS;

EID: 35048867793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24754-8_7     Document Type: Article

References (20)

1. M. Alpuente, F.J. Correa, and M. Falaschi. A Debugging Scheme for Funcional Logic Programs. Electronic Notes in Theoretical Computer Science. Vol. 64. Elsevier, 2002.
2. M. Comini, G. Levi, M.C. Meo y G. Vitello. Abstract Diagnosis. J. of Logic Programming 39, 43-93, 1999.
3. M. Cameron, M. García de la Banda, K. Marriott, and P. Moulder. ViMer: A Visual Debugger for Mercury. In Proc. PPDP03, ACM Press, 56-66, 2003.
4. R. Caballero and W. Lux. Declarative Debugging of Encapsulated Search. Electronic Notes in Theoretical Computer Science. Vol. 76. Elsevier, 2002.
5. R. Caballero, F.J. López-Fraguas, and M. Rodríguez- Artalejo. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In Proc. FLOPS'01, Springer LNCS 2024:170-184, 2001.
6. R. Caballero and M. Rodríguez Artalejo. A Declarative Debugging System for Lazy Functional Logic Programs. Electronic Notes in Theoretical Computer Science. Vol. 64. Elsevier, 2002.
7. G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E.Y. Shapiro's Method. The Journal of Logic Programming 4(3):177-198, 1987.
8. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodriguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic, Journal of Logic Programming 40(1) 44-87, 1999.
9. J.C. González-Moreno, M.T. Hortalá-González y M. Rodríguez-Artalejo. Polymorphic Types in Functional Logic Programming. FLOPS'99 special issue of the Journal of Functional and Logic Programming, 2001. Available at: http://danae.uni-muenster.de/lehre/kuchen/JFLP
10. M. Hanus. Curry: An Integrated Functional Logic Language. Version 0.7.1, June 2000. Available at http://www.informatik.uni-kiel.de/curry/report.html.
11. J.W. Lloyd. Declarative Error Diagnosis. New Generation Computing 5(2):133-154, 1987.
12. F.J. López-Fraguas, and J. Sánchez-Hernández. TOY a Multiparadigm Declarative System, In Proc. RTA'99, LNCS 1631, Springer Verlag, 244-247, 1999.
13. L. Naish. A Declarative Debugging Scheme. Journal of Functional and Logic Programming, 1997-3.
14. H. Nilsson. How to look busy while being lazy as ever: The implementation of a lazy functional debugger. Journal of Functional Programming 11(6):629-671, 2001.
15. H. Nilsson and J. Sparud. The Evaluation Dependence Tree as a basis for Lazy Functional Debugging. Automated Software Engineering, 4(2):121-150, 1997.
16. S.L. Peyton Jones (ed.), J. Hughes (ed.), et al. Report on the programming language Haskell 98: a non-strict, purely functional language. Available at http://www.haskell.org/onlinereport/, 2002.
17. B. Pope and L. Naish, Practical Aspects of Declarative Debugging in Haskell 98, In Proc. PPDP03, ACM Press, 230-240, 2003.
18. E.Y.Shapiro. Algorithmic Program Debugging. The MIT Press, Cambridge, 1982.
19. SICStus Prolog homepage: http://www.sics.se/sicstus/.
20. A. Tessier and G. Ferrand. Declarative Diagnosis in the CLP Scheme. In P. Deransart, M. Hermenegildo and J. Maluszynski (Eds.), Analysis and Visualization Tools for Constraint Programming, Chapter 5, 151-174. Springer LNCS 1870, 2000.