For instance, Singh explains, suppose that one of the subparts of the code is a routine for finding the square root of a number, and a higher-level function relies on the results of that computation.

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 ...