Testing and Tracing Lazy Functional Programs using QuickCheck and Hat

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. 4th International School, AFP 2002. LNCS 2638. Springer pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:https://doi.org/10.1007/978-3-540-44833-4_3) (Full text available)

PDF - Author's Accepted Manuscript
Download (345kB) Preview
Official URL


It is a very undesirable situation that today’s software often contains errors. One motivation for using a functional programming language is that it is more difficult (or even impossible) to make low-level mistakes, and it is easier to reason about programs. But even the most advanced functional programmers are not infallible; they misunderstand the properties of their own programs, or those of others, and so commit errors.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Olaf Chitil
Date Deposited: 24 Nov 2008 18:00 UTC
Last Modified: 07 Aug 2018 09:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/13937 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year