Synthesis of loopfree programs (2011)

by S Gulwani, S Jha, A Tiwari, R Venkatesan