School of Computing

Algorithmic debugging for locally defined functions

Yong Luo and Olaf Chitil

Technical report 8-07, University of Kent, Computing Laboratory, UK, August 2007.

Abstract

The purpose of the document is to prove the correctness of Algorithmic Debugging where the traces for local functions are generated in a new way. The processes of generating computation graphs follow exactly what we might do by hand. Therefore, we can be confident that the graphs are correct.We do not need to justify the graphs by comparing $\lambda$-lifted programs.

Download publication 271 kbytes (PDF)

Bibtex Record

@techreport{2646,
author = {Yong Luo and Olaf Chitil},
title = {Algorithmic Debugging for Locally Defined Functions},
month = {August},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2646},
    publication_type = {techreport},
    submission_id = {22932_1203705277},
    type = {Technical report},
    number = {8-07},
    address = {UK},
    institution = {University of Kent, Computing Laboratory},
}

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

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

Last Updated: 21/03/2014