7 citations · 25 across the 19 of their papers we have counts for
1 paper · 1 filter
Yutaka Nagashima
A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this approach is that search spaces for su…