Skip to main content
Kent Academic Repository

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.

Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of ACM SIGPLAN Erlang Workshop. Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. pp. 19-26. ISBN 978-1-4503-3805-9. (doi:https://doi.org/10.1145/2804295.2804298) (Full text available)
[img]
Preview

Hu, Zhenjiang and Hughes, John and Wang, Meng (2015) How functional programming mattered. National Science Review, 2 (3). pp. 349-370. ISSN 2095-5138. E-ISSN 2053-714X. (doi:https://doi.org/10.1093/nsr/nwv042) (Full text available)
[img]
Preview

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 978-3-642-17070-6. E-ISBN 978-3-642-17071-3. (doi:https://doi.org/10.1007/978-3-642-17071-3_13) (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. 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)
[img]
Preview

This list was generated on Fri Apr 12 00:59:38 2019 BST.