Origin
The idea originated in the 60s with the aim of using techniques from artificial intelligence to build an automatic programmer, exploiting deep connections between mathematics and the theory of programming. Lack of early success meant that the mathematical approach soon fell out of favour, along with enthusiasm for AI, in general. Although some researchers still work on formal approaches, more success has been obtained by combining pure deductive techniques with powerful heuristics, and limiting their application to specific domains.
Read more about this topic: Program Synthesis
Famous quotes containing the word origin:
“Someone had literally run to earth
In an old cellar hole in a byroad
The origin of all the family there.
Thence they were sprung, so numerous a tribe
That now not all the houses left in town
Made shift to shelter them without the help
Of here and there a tent in grove and orchard.”
—Robert Frost (1874–1963)
“The origin of storms is not in clouds,
our lightning strikes when the earth rises,
spillways free authentic power:
dead John Brown’s body walking from a tunnel
to break the armored and concluded mind.”
—Muriel Rukeyser (1913–1980)
“All good poetry is the spontaneous overflow of powerful feelings: it takes its origin from emotion recollected in tranquillity.”
—William Wordsworth (1770–1850)