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:
“Art is good when it springs from necessity. This kind of origin is the guarantee of its value; there is no other.”
—Neal Cassady (1926–1968)
“We have got rid of the fetish of the divine right of kings, and that slavery is of divine origin and authority. But the divine right of property has taken its place. The tendency plainly is towards ... “a government of the rich, by the rich, and for the rich.””
—Rutherford Birchard Hayes (1822–1893)
“Good resolutions are useless attempts to interfere with scientific laws. Their origin is pure vanity. Their result is absolutely nil. They give us, now and then, some of those luxurious sterile emotions that have a certain charm for the weak.... They are simply cheques that men draw on a bank where they have no account.”
—Oscar Wilde (1854–1900)