School of Computing

Multiple-view tracing for Haskell: a new Hat

Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman

In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 182-196, Firenze, Italy, September 2001 Universiteit Utrecht UU-CS-2001-23. Final proceedings to appear in ENTCS 59(2).

Abstract

Different tracing systems for Haskell give different views of a program at work. In practice, several views are complementary and can productively be used together. Until now each system has generated its own trace, containing only the information needed for its particular view. Here we present the design of a trace that can serve several views. The trace is generated and written to file as the computation proceeds. We have implemented both the generation of the trace and several different viewers.

Download publication 174 kbytes (PDF)

Bibtex Record

@inproceedings{1812,
author = {Malcolm Wallace and Olaf Chitil and Thorsten Brehm and Colin Runciman},
title = {Multiple-View Tracing for {Haskell}: a New {Hat}},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Universiteit Utrecht UU-CS-2001-23. Final proceedings to appear in ENTCS 59(2).},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1812},
    publication_type = {inproceedings},
    submission_id = {16017_1077222299},
    booktitle = {Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop},
    editor = {Ralf Hinze},
    address = {Firenze, Italy},
    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