Declarative debugging with buddha

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

Volumn 3622 LNCS, Issue , 2005, Pages 273-308

  Pope, Bernard ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DIAGNOSIS; ERROR ANALYSIS; LOGIC PROGRAMMING; SPECIFICATIONS;

DEBUGGING TOOLS; DECLARATIVE DEBUGGING; LOGICAL MEANING; PROGRAMMER FALLIBILITY; TYPOGRAPHIC ERRORS;

PROGRAM DEBUGGING;

EID: 33646036192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546382_7     Document Type: Conference Paper

References (22)

1. Nilsson, H., Spaurd, J.: The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering 4 (1997) 121-150
2. Gansner, E., Koutsofios, E., North, S.: Drawing graphs with dot. www.research.att.com/sw/tools/graphviz/dotguide.pdf (2002)
3. Jones, N., Mycroft, A.: Dataflow analysis of applicative programs using minimal function graphs. In: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages, Florida, ACM Press (1986) 296-306
4. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming, ACM Press (2000) 268-279
5. Naish, L., Harbour, T.: Towards a portable lazy functional declarative debugger. Australian Computer Science Communications 18 (1996) 401-408
6. Sparud, J.: Tracing and Debugging Lazy Functional Computations. PhD thesis, Chalmers University of Technology, Sweden (1999)
7. Caballero, R., Rodri'guez-Artalejo, M.: A declarative debugging system for lazy functional logic programs. In Hanus, M., ed.: Electronic Notes in Theoretical Computer Science. Volume 64., Elsevier Science Publishers (2002)
8. Pope, B., Naish, L.: A program transformation for debugging Haskell-98. Australian Computer Science Communications 25 (2003) 227-236 ISBN:0-909925-94-1.
9. Claessen, K., Runciman, C., Chitil, O., Hughes, J., Wallace, M.: Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. Number 2638 in LNCS, Oxford (2003) 59-99
10. Pope, B., Naish, L.: Practical aspects of declarative debugging in Haskell-98. In: Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. (2003) 230-240 ISBN:1-58113-705-2.
11. Wadler, P.: Why no one uses functional languages. SIGPLAN Notices 33 (1998) 23-27
12. Wallace, M., Chitil, O., Brehm, T., Runciman, C.: Multiple-view tracing for Haskell: a new hat. In: Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop. (2001) 151-170
13. Gill, A.: Debugging Haskell by observing intermediate data structures. Technical report, University of Nottingham (2000) In Proceedings of the 4th Haskell Workshop, 2000.
14. Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Department of Computer and Information Science Linköpings Universitet, S-581 83, Linköping, Sweden (1998)
15. Nilsson, H.: How to look busy while being as lazy as ever: The implementation of a lazy functional debugger. Journal of Functional Programming 11 (2001) 629-671
16. Naish, L.: A declarative debugging scheme. Journal of Functional and Logic Programming 1997 (1997)
17. Naish, L., Barbour, T.: A declarative debugger for a logical-functional language. In Forsyth, G., Ali, M., eds.: Eighth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems -Invited and Additional Papers. Volume 2., Melbourne, DSTO General Document 51 (1995) 91-99
18. Naish, L.: Declarative debugging of lazy functional programs. Australian Computer Science Communications 15 (1993) 287-294
19. Naish, L.: A three-valued declarative debugging scheme. Australian Computer Science Communications 22 (2000) 166-173
20. Ennals, R., Peyton Jones, S.: Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. In: Proceedings of the Eighth ACM SIGPLAN Conference on Functional Programming. (2003) 287-298
21. Ennals, R., Peyton Jones, S.: HsDebug: Debugging lazy programs by not being lazy. In Jeuring, J., ed.: ACM SIGPLAN 2003 Haskell Workshop, ACM Press (2003) 84-87
22. Shapiro, E.: Algorithmic Program Debugging. The MIT Press (1982)