Generating constrained random data with uniform distribution
Artikel i vetenskaplig tidskrift, 2015
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Jonas Almström Duregård
Chalmers, Data- och informationsteknik, Programvaruteknik
Michal Palka
Chalmers, Data- och informationsteknik, Programvaruteknik
Journal of Functional Programming
0956-7968 (ISSN) 1469-7653 (eISSN)
Vol. 25 e8 e8Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1017/S0956796815000143