Complete and partial redex trails of functional computations

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

Volumn 1467, Issue , 1998, Pages 160-177

  Sparud, Jan ^a   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FAULT TRACING; GRAPH REDUCTION; MEMORY COST; MEMORY SPACE; PROTOTYPE IMPLEMENTATIONS; REDEX TRAILS;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. S. A. Jarvis and R. G. Morgan. The results of: profiling large-scale lazy functional programs. In W. Kluge, editor, Implementation of Functional Languages, 8th International Workshop (IFL'96), Selected Papers, pages 200-221. Springer LNCS 1268, September 1996.
2. Henrik Nilsson and Jan Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden, August 1996.
3. 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.
4. H. Phillips. The week-end problems book. Nonesuch Press, 1932.
5. N. Röjemo. 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. ACM Press, June 1995.
6. N. Röjemo and C. Runciman. Lag, drag, void and use - heap profiling and space-efficient compilation revisited. In Proc. Intl. Conf. on Functional Programming, pages 34-41. ACM Press, June 1996.
7. P. M. Sansom and S. L. Peyton Jones. Formally based profiling for higher-order functional languages. ACM Transactions on Programming Languages and Systems, 19(2): 334-85, March 1997.
8. J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. In Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'97), September 1997.
9. A. Tolmach and A. W. Appel. A debugger for Standard ML. Journal of Functional Programming, 5(2): 155-200, April 1995.
10. A. P. Tolmach. Debugging Standard ML. PhD thesis, Princeton, USA, October 1992.
11. R. D. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis, Southern Cross, Australia, October 1996.