Skip to main content

Transforming Haskell for Tracing

Chitil, Olaf, Runciman, Colin, 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 . pp. 165-181. Springer-Verlag Berlin, Berlin ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:10.1007/3-540-44854-3_11)

PDF - Author's Accepted Manuscript
Download (238kB) Preview
Official URL


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)
DOI/Identification number: 10.1007/3-540-44854-3_11
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: 29 May 2019 18:06 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year