Source-Based Trace Exploration

Chitil, Olaf (2004) Source-Based Trace Exploration. In: Implementation and Application of Functional Languages. Technical Report 0408, University of Kiel pp. 239-244. (Full text available)

PDF
Download (116kB)
[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. 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: Olaf Chitil
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 16 Nov 2016 21:43 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14085 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year