© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 Informticos y Programacin, 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 Informticos y Programacin, 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}, }