The location of errors in functional programs-Reference-Cited by-同舟云学术

The location of errors in functional programs

Published: Issue: Volume: Page:135-152
ISSN:
Container-title:Automated and Algorithmic Debugging
language:
Short-container-title:

Author:

Hazan Jonathan E.,Morgan Richard G.

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0019406.pdf

Reference10 articles.

1. L. Augustsson. A compiler for lazy ML. In Proceedings of the ACM Symposium on Lisp and Functional Programming, Austin, pages 218–27, August 1984.

2. R. Garigliano, R.G. Morgan, and M.H. Smith. LOLITA: Progress report 1. Technical Report 12/92, Artificial Intelligence Systems Research Group, School of Engineering and Computer Science, University of Durham, Science Laboratories, South Road, Durham DH1 3LE, United Kingdom, 1992.

3. S. Kamin. A debugging environment for functional programming in Centaur. Technical report, INRIA Sophia-Antipolis, 1990.

4. L. Naish. Declarative debugging of lazy functional programs (draft). Technical Report 92/6, Department of Computer Science, University of Melbourne, Parkville, Melbourne, Victoria 3052, Australia, May 1992.

5. H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, number 631 in Lecture Notes in Computer Science, pages 385–399, Leuven, Belgium, August 1992. Springer-Verlag.

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

1. Tracing piece by piece;ACM SIGPLAN Notices;1999-09

2. Tracing lazy functional computations using redex trails;Lecture Notes in Computer Science;1997

3. Experiences in teaching large scale functional programming;Funtional Programming Languages in Education;1995

4. Algorithmic debugging for lazy functional languages;Journal of Functional Programming;1994-07