Deriving Compositional Random Generators

Claudio Agustin Mista
Claudio Agustin Mista

implementation and application of functional languages, 2019.

Cited by: 0|Views4

Abstract:

Generating good random values described by algebraic data types is often quite intricate. State-of-the-art tools for synthesizing random generators serve the valuable purpose of helping with this task, while providing different levels of invariants imposed over the generated values. However, they are often not built for composability nor ...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments