School of Computing

Transforming Haskell for tracing

Olaf Chitil, Colin Runciman, and Malcolm Wallace

In Ricardo Pena and Thomas Arts, editors, Implementation of Functional Languages: 14th International Workshop, IFL 2002, LNCS 2670, pages 182-196, March 2003 Madrid, Spain, 16-18 September 2002.

Abstract

Hat is a programmer's tool for generating a trace of a computation of a Haskell 98 program and viewing such a trace in various different ways. Applications include program comprehension and debugging. A new version of Hat uses a stand-alone program transformation to produce self-tracing Haskell programs. The transformation is small and works with any Haskell 98 compiler that implements the standard foreign function interface. We present general techniques for building compiler independent tools similar to Hat based on program transformation. We also point out which features of Haskell 98 caused us particular grief.

Download publication 162 kbytes (PDF)

Bibtex Record

@inproceedings{1770,
author = {Olaf Chitil and Colin Runciman and Malcolm Wallace},
title = {Transforming {H}askell for Tracing},
month = {March},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Madrid, Spain, 16--18 September 2002.},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1770},
    publication_type = {inproceedings},
    submission_id = {12324_1074883350},
    ISBN = {3-540-40190-3},
    booktitle = {Implementation of Functional Languages: 14th International Workshop, IFL 2002},
    editor = {Ricardo Pena and Thomas Arts},
    series = {LNCS 2670},
    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