Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs-Reference-Cited by-同舟云学术

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

Published:2001 Issue: Volume: Page:176-193
ISSN:0302-9743
Container-title:Implementation of Functional Languages
language:
Short-container-title:

Author:

Chitil Olaf,Runciman Colin,Wallace Malcolm

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45361-X_11

Reference14 articles.

1. Simon P Booth and Simon B Jones. Walk backwards to happiness-debugging by time travel. Technical Report Technical Report CSM-143, Department of Computer Science and Mathematics, University of Stirling, 1997. This paper was presented at the 3rd International Workshop on Automated Debugging (AADEBUG’97), hosted by the Department of Computer and Information Science, Linköping University, Sweden, May 1997.

2. Andy Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 4th Haskell Workshop, 2000. Technical report of the University of Nottingham.

3. Simon B. Jones and Simon P. Booth. Towards a purely functional debugger for functional programs. In Proceedings Glasgow Workshop on Functional Programming 1995, Ullapool, Scotland, July 1995.

4. Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. In Proc. 19th Australasian Computer Science Conference, January 1996.

5. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden, May 1998.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey of Algorithmic Debugging;ACM Computing Surveys;2018-07-31

2. Backward Trace Slicing for Conditional Rewrite Theories;Logic for Programming, Artificial Intelligence, and Reasoning;2012

3. Backward Trace Slicing for Rewriting Logic Theories;Lecture Notes in Computer Science;2011

4. What’s the Matter with Kansas Lava?;Lecture Notes in Computer Science;2011

5. A Framework for Interpreting Traces of Functional Logic Computations;Electronic Notes in Theoretical Computer Science;2007-06