EasyCheck
From MaRDI portal
Software:21714
swMATH9735MaRDI QIDQ21714FDOQ21714
Author name not available (Why is that?)
Cited In (10)
- Programming with narrowing: a tutorial
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
- Title not available (Why is that?)
- Purely functional lazy non-deterministic programming
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
- Beginner's luck: a language for property-based generators
- Model Based Testing with Logical Properties versus State Machines
- Generating constrained random data with uniform distribution
- The New Quickcheck for Isabelle
This page was built for software: EasyCheck
