School of Computing

Source-based trace exploration

Olaf Chitil

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 182-196. Springer, March 2005.

Abstract

Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded in a file; then the user studies the trace with a collection of viewing tools. Different views are complementary and can productively be used together. Experience shows that users of the 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.

Download publication 152 kbytes (PDF)

Bibtex Record

@inproceedings{2240,
author = {Olaf Chitil},
title = {Source-based trace exploration},
month = {March},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2240},
    publication_type = {inproceedings},
    submission_id = {16493_1124966105},
    booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004},
    editor = {Clemens Grelck and Frank Huch and Greg J. Michaelson and Phil Trinder},
    series = {LNCS 3474},
    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