Programming by Sketching
15 Mar, 2010 | Written by Brad Selers | under Video
(October 9, 2009) Ras Bodik, from UC Berkeley Computer Science, discusses how partial programs can communicate programmer insight, how suitable synthesis algorithm completes the mechanics, and how end-user programming may be decomposable into partial program completion. Stanford University: www.stanford.edu Stanford Engineering Everywhere: see.stanford.edu Stanford Channel on youtube: www.youtube.com
