Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat

DOI10.1007/978-3-540-44833-4_3zbMath1278.68059OpenAlexW1600253083MaRDI QIDQ5390283

No author found.

Publication date: 1 April 2011

Published in: Advanced Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-44833-4_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Haskell
• QuickCheck
• Freja
• Hat
• Hood
• HUnit

This page was built for publication: Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat