School of Computing

Transforming Haskell for tracing

Olaf Chitil, Colin Runciman, and Malcolm Wallace

In Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002, pages 182-196, Madrid, Spain, September 2002 technical report 127-02, Departamento de Sistemas Inform�ticos y Programaci�n, Universidad Complutense de Madrid.

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 155 kbytes (PDF)

Bibtex Record

@inproceedings{1809,
author = {Olaf Chitil and Colin Runciman and Malcolm Wallace},
title = {Transforming {Haskell} for Tracing},
month = {September},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {technical report 127-02, Departamento de Sistemas Inform�ticos y Programaci�n, Universidad Complutense de Madrid},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1809},
    publication_type = {inproceedings},
    submission_id = {15676_1077220568},
    booktitle = {Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002},
    address = {Madrid, Spain},
    refereed = {no},
}

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

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

Last Updated: 21/03/2014