Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Article

Hu, Zhenjiang and Hughes, John and Wang, Meng (2015) How functional programming mattered. National Science Review . ISSN 2095-5138. (In press) (Full text available)
[img]
Preview

Book section

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science, 6286 . Springer, pp. 250-271. ISBN 9783642170706. (Full text available)
[img]
Preview

Conference or workshop item

Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Fourteenth ACM SIGPLAN Erlang Workshop, 31 Aug - 02 Sep 2015, Vancouver, British Columbia, Canada. (In press) (Full text available)
[img]
Preview

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. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Fri Aug 28 20:21:52 2015 BST.