Author:
Sparud Jan,Runciman Colin
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Jonathan E. Hazan and Richard G. Morgan. The location of errors in functional programs. In Peter Pritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 135–152, Linköping, Sweden, May 1993.
2. Richard Jones. Tail recursion without space leaks. Journal of Functional Programming, 2(1):73–79, January 1992.
3. A. Kishon, P. Hudak, and C. Consel. Monitoring semantics: a formal frame-work for specifying, implementing and reasoning about execution monitors. In ACM Conference on Programming Language Design and Implementation (PLDI'91), pages 338–52, June 1991.
4. Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. Technical Report 95/27, Department of Computer Science, University of Melbourne, Australia, 1995.
5. H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3), 1994.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Semantic Framework to Debug Parallel Lazy Functional Languages;Mathematics;2020-05-26
2. Static and Dynamic Visualisations of Monadic Programs;Central European Functional Programming School;2019
3. Lightweight computation tree tracing for lazy functional languages;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02
4. A Lightweight Hat;Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016;2016
5. Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack;ACM SIGPLAN Notices;2015-08-07