Transforming Haskell for Tracing

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2002) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Implementation of Functional Languages. (Full text available)

PDF - Pre-print
Download (166kB) Preview
[img]
Preview

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: 24 Nov 2008 17:59 UTC
Last Modified: 16 Nov 2016 21:57 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/13737 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year