© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }