Transforming Haskell for Tracing

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Lecture Notes in Computer Science. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670. Springer-Verlag Berlin, Berlin pp. 165-181. ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:https://doi.org/10.1007/3-540-44854-3_11) (Full text available)

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.

Item Type:	Conference or workshop item (Paper)
Additional information:	technical report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid
Uncontrolled keywords:	lazy functional language, debugging
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User:	Olaf Chitil
Date Deposited:	28 Oct 2016 17:32 UTC
Last Modified:	08 Jun 2017 08:50 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/58270 (The current URI for this page, for reference purposes)