Tracing lazy functional computations using redex trails

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

Volumn 1292, Issue , 1997, Pages 291-308

  Sparud, Jan ^a   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Debugging; Graph reduction; Haskell; Program transformation

Indexed keywords

COMPUTER DEBUGGING; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; METADATA; PROGRAM DEBUGGING;

DESIGN AND IMPLEMENTATIONS; FUNCTIONAL DATAS; GRAPH REDUCTION; HASKELL; LAZY FUNCTIONAL LANGUAGES; PROGRAM TRANSFORMATIONS; REDEX TRAILS; TRACING METHOD;

PROGRAM COMPILERS;

EID: 84923020668     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0033851     Document Type: Conference Paper

References (12)

1. Jonathan E. Hazan and Richard G. Morgan. The location of errors in functional programs. In Peter Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 135-152, Linkoping, 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 framework 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.
6. Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Journal of Automated Software Engineering, 4(2):152-205, April 1997.
7. W. Partain. The nofib benchmark suite of Haskell programs. In J. Launch- bury and P. Sansom, editors, Proc. 1992 Glasgow Workshop on Functional Programming, pages 195-202. Springer Verlag, Workshops in Computing, 1993.
8. N. Rojemo. Highlights from nhc - a space efficient haskell compiler. In Proc. 7th Intl. Conf. on Functional Programming Languages and Computer Architecture (FPCA’95), pages 282-292, La Jolla, June 1995. ACM Press
9. Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, May 1982
10. Jan Sparud. A transformational approach to debugging lazy functional programs. Licentiate Thesis, Department of Computing Science, Chalmers University of Technology, S-412 96, Goteborg, Sweden, February 1996.
11. A. P. Tolmach and A. W. Appel. Debugging Standard ML without reverse engineering. In Proc. ACM conf. on Lisp and functional programming. ACM Press, 1990.
12. M. Wallace and C. Runciman. Heap compression and binary I/O in Haskell. In Proc. 2nd ACM SIGPLAN Workshop on Haskell, Amsterdam, June 1997.