Source-Based Trace Exploration

Chitil, Olaf (2004) Source-Based Trace Exploration. In: Implementation and Application of Functional Languages. Lecture Notes in Computer Science. Technical Report 0408, University of Kiel pp. 239-244. ISBN 3-540-26094-3 . (doi:10.1007/11431664_8) (Full text available)

Download (116kB)
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. The trace viewing tools show expressions and equations of a computation, but they hardly refer to the source program. This disregard of the program is odd, because the computation follows from the program and the usually familiar source program can help orientation in a complex computation. Hence I started the development of new trace viewing tools that are based on showing the source program with various changing markings.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: tracing, algorithmic debugging, program slicing, lazy functional programming, Haskell
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 06 Sep 2011 01:22 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year