Synthesis of loop-free programs (2011)

by S Gulwani, S Jha, A Tiwari, R Venkatesan
Venue:In PLDI