Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification. In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.
Read more about Program Synthesis: Origin, Problems and Limitations
Famous quotes containing the words program and/or synthesis:
“George Shears ... was hanged in a barn near the store. The rope was thrown over a beam, and he was asked to walk up a ladder to save the trouble of preparing a drop for him. “Gentlemen,” he said, “I am not used to this business. Shall I jump off or slide off?” He was told to jump.”
—For the State of Montana, U.S. public relief program (1935-1943)
“It is in this impossibility of attaining to a synthesis of the inner life and the outward that the inferiority of the biographer to the novelist lies. The biographer quite clearly sees Peel, say, seated on his bench while his opponents overwhelm him with perhaps undeserved censure. He sees him motionless, miserable, his head bent on his breast. He asks himself: “What is he thinking?” and he knows nothing.”
—Andre Maurois (1885–1967)