### Skapa referens, olika format (klipp och klistra)

**Harvard**

Claessen, K. (2012) *Shrinking and showing functions (Functional pearl)*.

** BibTeX **

@conference{

Claessen2012,

author={Claessen, Koen},

title={Shrinking and showing functions (Functional pearl)},

booktitle={2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012},

isbn={978-145031574-6},

pages={73-80},

abstract={Although quantification over functions in QuickCheck properties has been supported from the beginning, displaying and shrinking them as counter examples has not. The reason is that in general, functions are infinite objects, which means that there is no sensible show function for them, and shrinking an infinite object within a finite number of steps seems impossible. This paper presents a general technique with which functions as counter examples can be shrunk to finite objects, which can then be displayed to the user. The approach turns out to be practically usable, which is shown by a number of examples. The two main limitations are that higher-order functions cannot be dealt with, and it is hard to deal with terms that contain functions as subterms.},

year={2012},

keywords={counter example, quickcheck, testing},

}

** RefWorks **

RT Conference Proceedings

SR Electronic

ID 166072

A1 Claessen, Koen

T1 Shrinking and showing functions (Functional pearl)

YR 2012

T2 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012

SN 978-145031574-6

SP 73

OP 80

AB Although quantification over functions in QuickCheck properties has been supported from the beginning, displaying and shrinking them as counter examples has not. The reason is that in general, functions are infinite objects, which means that there is no sensible show function for them, and shrinking an infinite object within a finite number of steps seems impossible. This paper presents a general technique with which functions as counter examples can be shrunk to finite objects, which can then be displayed to the user. The approach turns out to be practically usable, which is shown by a number of examples. The two main limitations are that higher-order functions cannot be dealt with, and it is hard to deal with terms that contain functions as subterms.

LA eng

DO 10.1145/2430532.2364516

LK http://dx.doi.org/10.1145/2430532.2364516

OL 30