The following pages link to EasyCheck (Q21714):
Displaying 10 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Model Based Testing with Logical Properties versus State Machines (Q2830050) (← links)
- Purely functional lazy non-deterministic programming (Q2936798) (← links)
- The New Quickcheck for Isabelle (Q4916054) (← links)
- (Q5020992) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Beginner's luck: a language for property-based generators (Q5370850) (← links)
- Generating constrained random data with uniform distribution (Q5371949) (← links)
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (Q5398052) (← links)