Rodric M. Rabbah, Rastislav Bodı́k & Kemal Ebcioglu (2005): Programming by sketching for bit-streaming programs (0)

by Armando Solar-Lezama
Venue:In: PLDI