1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Herbert Wiklicky
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general set…