Structure and Properties of Traces for Functional Programs

Electronic Notes in Theoretical Computer Science

Volumn 176, Issue 1, 2007, Pages 39-63

  Chitil, Olaf ^a   Luo, Yong ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

augmented redex trail; debugging; Haskell; Tracing

Indexed keywords

COMPUTER PROGRAM LISTINGS; GRAPH THEORY; LINGUISTICS; MATHEMATICAL MODELS;

AUGMENTED REDEX TRAIL; COMPREHENSION; DEBUGGING; TRACING;

COMPUTER SCIENCE;

EID: 34248597271     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.10.032     Document Type: Article

References (27)

1. Bakewell A. Using term-graph rewriting models to analyse relative space efficiency. TERMGRAPH 2002 International Workshop on Term Graph Rewriting. Electronic Notes in Theoretical Computer Science 72 (2002) Elsevier Science Publishers
2. K. Bernstein and E.W. Stark. On formally defining debuggers: A comparison of three approaches. In 2nd International Workshop on Automated and Algorithmic Debugging, St. Malo, France, May 1995
3. Bernstein K.L., and Stark E.W. Operational semantics of a focusing debugger. Proceedings of the Eleventh Conference on the Mathematical Foundations of Programming Semantics. ENTCS 1 (1995) Elsevier
4. Braßel B., Hanus M., Huch F., and Vidal G. A semantics for tracing declarative multi-paradigm programs. Proceedings of the 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (2004), ACM Press 179-190
5. Caballero R., López-Fraguas F.J., and Rodríguez-Artalejo M. Theoretical foundations for the declarative debugging of lazy functional logic programs. Functional and Logic Programming. FLOPS 2001. LNCS 2024 (2001), Springer
6. Olaf Chitil. A semantics for tracing. In Thomas Arts and Markus Mohnen, editors, Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, pages 249-254, Älvsjö, Sweden, September 2001. Ericsson Computer Science Laboratory
7. Chitil O., Runciman C., and Wallace M. Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen M., and Koopman P. (Eds). Implementation of Functional Languages, 12th International Workshop. IFL 2000. LNCS 2011 (2001), Springer 176-193
8. Chitil O., Runciman C., and Wallace M. Transforming Haskell for tracing. Proceedings of the 14th International Workshop on Implementation of Functional Languages. (IFL 2002). LNCS 2670 (2003) 165-181
9. Clements J., Flatt M., and Felleisen M. Modeling an algebraic stepper. In: Sands D. (Ed). 10th European Symposium on Programming. ESOP 2001. LNCS 2028 (2001), Springer 320-334
10. Ennals R., and Peyton Jones S. Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming. New York, NY, USA (2003), ACM Press 287-298
11. Faxén K.-F. Cheap eagerness: speculative evaluation in a lazy functional language. ICFP '00: Proceedings of the fifth ACM SIGPLAN International Conference on Functional programming. New York, NY, USA (2000), ACM Press 150-161
12. Gill A. Debugging Haskell by observing intermediate data structures. Electronic Notes in Theoretical Computer Science 41 1 (2001) 2000 ACM SIGPLAN Haskell Workshop
13. Johnsson T. Efficient compilation of lazy evaluation. Proceedings of the SIGPLAN '84 Symposium on Compiler Construction (1984), ACM Press 58-69
14. Klop J.W. Term rewriting systems. In: Abramsky S., Gabbay M., and Maibaum T.S.E. (Eds). Handbook of Logic in Computer Science, volume 2 (1992), Oxford University Press 1-116
15. Launchbury J. A natural semantics for lazy evaluation. Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1993), ACM Press 144-154
16. Yong Luo and Olaf Chitil. Proving the correctness of algorithmic debugging for functional programs. In Draft Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, April 2006
17. Yong Luo and Olaf Chitil. Replacing unevaluated parts in the traces of functional programs. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 304-325, Budapest, Hungary, 2006. Eötvös Loránd University. Technical Report No: 2006-S01
18. Maessen J.-W. Eager Haskell: resource-bounded execution yields efficient iteration. Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. New York, NY, USA (2002), ACM Press 38-50
19. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden, May 1998
20. Peyton Jones S.L. Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. Journal of Functional Programming 2 2 (April 1992) 127-202
21. Plump D. Term graph rewriting. In: Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds). Handbook of Graph Grammars and Computing by Graph Transformation, chapter 1. Applications, Languages and Tools Volume 2 (1999), World Scientific 3-61
22. B. Pope and Lee Naish. Practical aspects of declarative debugging in Haskell-98. In Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 230-240, 2003
23. Shapiro E.Y. Algorithmic Program Debugging (1983), MIT Press
24. Silva J., and Chitil O. Combining algorithmic debugging and program slicing. PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming. New York, NY, USA (2006), ACM Press 157-166
25. Sparud J., and Runciman C. Complete and partial redex trails of functional computations. In: Clack C., Hammond K., and Davie T. (Eds). Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages. (IFL'97). Springer LNCS Vol. 1467 (September 1997) 160-177
26. Sparud J., and Runciman C. Tracing lazy functional computations using redex trails. In: Glaser H., Hartel P., and Kuchen H. (Eds). Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs. (PLILP'97). Springer LNCS Vol. 1292 (September 1997) 291-308
27. Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. Multiple-view tracing for Haskell: a new Hat. In Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, UU-CS-2001-23. Universiteit Utrecht, 2001. Final proceedings to appear in ENTCS 59(2)