© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs
Olaf Chitil, Colin Runciman, and Malcolm Wallace
In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), LNCS 2011, pages 182-196, Aachen, Germany, March 2001. Springer.Abstract
In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a number of moderately complex programs in which errors had deliberately been introduced. We identify the strengths and weaknesses of each system and then form ideas on how the systems can be improved further.
Download publication 167 kbytes (PDF)Bibtex Record
@inproceedings{1814, author = {Olaf Chitil and Colin Runciman and Malcolm Wallace}, title = {{Freja}, {Hat} and {Hood} --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs}, month = {March}, year = {2001}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2001/1814}, publication_type = {inproceedings}, submission_id = {16197_1077223168}, booktitle = {Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000)}, editor = {Markus Mohnen and Pieter Koopman}, series = {LNCS 2011}, address = {Aachen, Germany}, publisher = {Springer}, refereed = {yes}, }