In all cases, he says, the students successfully used Sketch to produce working code. But in many cases, the missing code took an unacceptably long time to synthesize, because of the way the ...

A system that automatically fills in the gaps in programmers' code becomes more powerful. A recent programming language called Sketch allows programmers to simply omit some of the computational ...