School of Computing

Hat-delta - one right does make a wrong

Thomas Davie and Olaf Chitil

In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 182-196. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.

Abstract

We outline two methods for locating bugs in a program. This is done by comparing computations of the same program with different input. At least one of these computations must produce a correct result, while exactly one must exhibit some erroneous behaviour. Firstly reductions that are thought highly likely to be correct are eliminated from the search for the bug. Secondly, a program slicing technique is used to identify areas of code that are likely to be correct. Both methods have been implemented. In combination with algorithmic debugging they provide a system that quickly and accurately identifies bugs.

Download publication 93 kbytes (PDF)

Bibtex Record

@inproceedings{2365,
author = {Thomas Davie and Olaf Chitil},
title = {Hat-Delta --- One Right Does Make a Wrong},
month = {October},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2365},
    publication_type = {inproceedings},
    submission_id = {27878_1140796771},
    booktitle = {Hat Day 2005: work in progress on the Hat tracing system for Haskell},
    editor = {Colin Runciman},
    publisher = {Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK},
}

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

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

Last Updated: 21/03/2014