Program Synthesis By Sketching (EECS-2008-177).pdf 1.7 MB