School of Computing

Hat-explore: Source-based trace exploration

Olaf Chitil

In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 182-196. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.

Abstract

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.

Download publication 94 kbytes (PDF)

Bibtex Record

@inproceedings{2364,
author = {Olaf Chitil},
title = {Hat-Explore: Source-Based Trace Exploration},
month = {October},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2364},
    publication_type = {inproceedings},
    submission_id = {26091_1140793578},
    booktitle = {Hat Day 2005: work in progress on the Hat tracing system for Haskell},
    editor = {Colin Runciman},
    publisher = {Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK},
}

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

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

Last Updated: 21/03/2014