School of Computing

Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems

Olaf Chitil, Colin Runciman, and Malcolm Wallace

In Markus Mohnen and Pieter Koopman, editors, Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 182-196, Aachen, Germany, September 2000. Aachener Informatik-Bericht 00-7, RWTH Aachen.

Abstract

In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex Trail System and Hood. We identify the similarities and differences of these systems and we evaluate their usefulness in practice by applying them to a number of small to medium programs in which errors had deliberately been introduced.

Download publication 155 kbytes (PDF)

Bibtex Record

@inproceedings{1895,
author = {Olaf Chitil and Colin Runciman and Malcolm Wallace},
title = {{Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems}},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1895},
    publication_type = {inproceedings},
    submission_id = {19463_1083660185},
    booktitle = {Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages},
    editor = {Markus Mohnen and Pieter Koopman},
    organization = {Aachener Informatik-Bericht 00-7, RWTH Aachen},
    address = {Aachen, Germany},
}

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

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

Last Updated: 21/03/2014