School of Computing

Display of functional values for debugging

Thomas Davie and Olaf Chitil

In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 182-196, Budapest, Hungary, September 2006. Eotvos Lorand University.

Abstract

Functional values are used naturally in higher order functional programs, as they are commonly passed around or returned by other function. As such any debugger for these languages must be capable of conveying information about functional values to the user. Current debuggers are limited to displaying the name of the function, or a partial application. In this paper we study two alternative methods of displaying functional values, and their effect on a popular debugging method (Algorithmic Debugging).

Download publication 390 kbytes (PDF)

Bibtex Record

@inproceedings{2489,
author = {Thomas Davie and Olaf Chitil},
title = {Display of Functional Values for Debugging},
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2489},
    publication_type = {inproceedings},
    submission_id = {9630_1170273509},
    ISBN = {963 463 876 7},
    booktitle = {Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006},
    address = {Budapest, Hungary},
    publisher = {Eotvos Lorand University},
}

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

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

Last Updated: 21/03/2014