Pages that link to "Item:Q3458885"
From MaRDI portal
The following pages link to Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885):
Displaying 3 items.
- Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Q4988930) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Generation of algebraic data type values using evolutionary algorithms (Q6671783) (← links)
