3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
A key challenge in example-based program synthesis is the gigantic search space of programs. To address this challenge, various work proposed to use abstract interpretation to prun…