Synthesis of loop-free programs.

Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan

Browse the full PLDI paper archive.