A Lightweight Hat-Reference-Cited by-同舟云学术

A Lightweight Hat

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016
language:
Short-container-title:

Author:

Chitil Olaf¹,Faddegon Maarten¹,Runciman Colin²

Affiliation:

1. University of Kent, United Kingdom

2. University of York, United Kingdom

Publisher

ACM Press

Reference24 articles.

1. Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, and Germán Vidal. 2007. Lazy call-by-value evaluation. In ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming. 265--276.

2. Olaf Chitil. 2005. Source-based trace exploration. In Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004 (LNCS 3474), Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder (Eds.). Springer, 126--141.

3. Olaf Chitil and Thomas Davie. 2008. Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2008. ACM, 205--216.

4. Olaf Chitil and Yong Luo. 2007. Structure and Properties of Traces for Functional Programs. In Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006 (ENTCS 176(1)), Ian Mackie (Ed.). 39--63.

5. Olaf Chitil, Colin Runciman, and Malcolm Wallace. 2001. Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000) (LNCS 2011), Markus Mohnen and Pieter Koopman (Eds.). Springer, Aachen, Germany, 176--193.

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

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

2. Extrapolate;Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages;2017-08-30