School of Computing

Testing and Tracing Lazy Functional Programs using QuickCheck and Hat

Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, and Malcolm Wallace

In 4th Summer School in Advanced Functional Programming, number 2638 in LNCS, pages 182-196, Oxford, August 2003. Download publication 287 kbytes (PDF)

Bibtex Record

@inproceedings{1896,
author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace},
title = {{Testing and Tracing Lazy Functional Programs using QuickCheck and Hat}},
month = {August},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1896},
    publication_type = {inproceedings},
    submission_id = {19235_1083659304},
    booktitle = {4th Summer School in Advanced Functional Programming},
    number = {2638},
    series = {LNCS},
    address = {Oxford},
}

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

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

Last Updated: 21/03/2014