Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Chitil, Olaf (2005)
Publisher: University of York, UK
Languages: English
Types: Unknown
Subjects: QA76
Experience shows that users of the Hat viewing tools find it hard to keep orientation and navigate to a point of interest in the trace. Hence this paper describes a new viewing tool where navigation through the trace is based on the program source. The tool combines ideas from algorithmic debugging, traditional stepping debuggers and dynamic program slicing.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] Stephen R. Adams. Efficient sets - a balancing act. Journal of Functional Programming, 3(4):553-562, 1993.
    • [2] Krasimir Angelov and Simon Marlow. Visual Haskell: a full-featured Haskell development environment. In Haskell'05: Proc. 2005 ACM SIGPLAN Haskell Workshop, pages 5-16, Tallinn, Estonia, 2005. ACM Press.
    • [3] Thomas Böttcher and Frank Huch. A Debugger for Concurrent Haskell. In Draft Proc. 14th Intl. Workshop on Implementation of Functional Languages (IFL'2002), pages 129-141, Madrid, Spain, 2002. Tech. Report 127-02, Dept. de Sistemas Informaticos y Programacion, Universidad Complutense de Madrid.
    • [4] G. L. Burn, S. L. Peyton Jones, and J. D. Robson. The spineless GMachine. In Proc. 1988 ACM Conference on LISP and Functional Programming, pages 244-258, Snowbird, Utah, USA, 1988. ACM Press.
    • [5] Olaf Chitil. Source-based trace exploration. In Clemens Grelck, Frank Huch, Greg J. Michaelson, and Phil Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, LNCS 3474, pages 126-141. Springer, 2005.
    • [6] Olaf Chitil, Colin Runciman, and Malcolm Wallace. Transforming Haskell for tracing. In Implementation of Functional Languages, 14th Intl. Workshop, IFL 2002, Revised Selected Papers, pages 165-181. Springer LNCS 2670, 2003.
    • [7] K. Claessen and R. J. M. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proc. 5th Intl. ACM Conference on Functional Programming, pages 268-279. ACM Press, 2000.
    • [8] K. Claessen, C. Runciman, O. Chitil, J. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. In Advanced Functional Programming, 4th International School (AFP 2002), pages 59-99. Springer LNCS 2638, 2002.
    • [9] Holger Cleve and Andreas Zeller. Finding failure causes through automated testing. In Proc. 4th Intl. Workshop on Automated Debugging (AADEBUG 2000), Munich, Germany, 2000. http://xxx.lanl.gov/abs/cs.SE/0012009.
    • [10] Tom Davie. Animation of lazy evaluation in Haskell using Hat traces. BSc project dissertation, Dept. of Computer Science, University of York, 2004.
    • [11] Mike Dodds. Using trace data to diagnose non-termination errors. MEng project dissertation, Dept. of Computer Science, University of York, 2004.
    • [12] Keith Hanna. Interactive visual functional programming. In Proc. 7th ACM SIGPLAN Intl. Conf. on Functional Programming (ICFP'02), pages 145-156, Pittsburgh, USA, 2002. ACM Press.
    • [13] T. Johnsson. Efficient compilation of lazy evaluation. SIGPLAN Notices, 19(6):58-69, June 1984.
    • [14] Daan Leijen. wxHaskell - a portable and concise GUI library for Haskell. In Proc. ACM SIGPLAN 2004 Haskell Workshop, pages 57-68, Snowbird, Utah, September 2004. ACM Press.
    • [15] Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan. Scalable statistical bug isolation. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'2005), pages 15-26, Chicago, Illinois, June 2005. ACM Press.
    • [16] H. Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping University, April 1998.
    • [17] Henrik Nilsson. How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. J. Funct. Program., 11(6):629- 671, 2001.
    • [18] Bernard Pope and Lee Naish. Practical aspects of declarative debugging in Haskell 98. In Proc. 5th ACM SIGPLAN Intl. Conf. on Principles and Practice of Declarative Programming (PPDP'03), pages 230-240, Uppsala, Sweden, 2003. ACM Press.
    • [19] Niklas Röjemo. Highlights from nhc: a space-efficient Haskell compiler. In FPCA '95: Proc. 7th Intl. Conf. on Functional Programming Languages and Computer Architecture, pages 282-292, La Jolla, USA, 1995. ACM Press.
    • [20] Colin Runciman. TIP in Haskell - another exercise in functional programming. In Rogardt Heldal, Carsten Kehler Holst, and Philip Wadler, editors, Proc. Glasgow Workshop on Functional Programming 1991, pages 278-292. Springer Verlag BCS Workshops in Computing, 1992.
    • [21] Tom Shackell and Colin Runciman. Faster production of redex trails: The Hat G-Machine. In Marko van Eekelen, editor, Proc. 6th Symposium on Trends in Functional Programming (TFP 2005), pages 135-150. Tartu University Press, Estonia, 2005.
    • [22] Jan Sparud and Colin Runciman. Tracing lazy functional computations using redex trails. In Proc. 9th Intl. Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP'97), pages 291-308, London, UK, 1997. Springer-Verlag.
    • [23] Andrew Peter Tolmach. Debugging standard ML. PhD thesis, Princeton University, Princeton, NJ, USA, 1992.
    • [24] Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. Multiple-view tracing for Haskell: a new Hat. In Ralf Hinze, editor, Proc. 2001 ACM SIGPLAN Haskell Workshop, pages 151-170, Firenze, Italy, September 2001. Universiteit Utrecht UU-CS-2001-23. Final version in ENTCS 59(2).
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article