School of Computing

Source-based trace exploration

Olaf Chitil

In Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004, pages 182-196. Technical Report 0408, University of Kiel, September 2004.

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.

Download publication 113 kbytes (PDF)

Bibtex Record

@inproceedings{1996,
author = {Olaf Chitil},
title = {Source-Based Trace Exploration},
month = {September},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1996},
    publication_type = {inproceedings},
    submission_id = {889_1099330156},
    booktitle = { Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004},
    publisher = {Technical Report 0408, University of Kiel},
    refereed = {no},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014