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, August 19-24, 2002, Oxford, UK. (doi:10.1007/978-3-540-44833-4_3) (Full text available)

PDF - Author's Accepted Manuscript
Download (294kB) Preview
[img]
Preview
Official URL
http://link.springer.com/chapter/10.1007%2F978-3-5...

Abstract

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: 30 Oct 2016 09:10 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

Downloads per month over past year