School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014