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:
“It is said the city was spared a golden-oak period because its residents, lacking money to buy the popular atrocities of the nineties, necessarily clung to their rosewood and mahogany.”
—Administration in the State of Sout, U.S. public relief program (1935-1943)
“Our art is the finest, the noblest, the most suggestive, for it is the synthesis of all the arts. Sculpture, painting, literature, elocution, architecture, and music are its natural tools. But while it needs all of those artistic manifestations in order to be its whole self, it asks of its priest or priestess one indispensable virtue: “faith.””
—Sarah Bernhardt (1845–1923)