Content deleted Content added
m Bot: Deprecating Template:Cite doi and some minor fixes |
Iridescent (talk | contribs) m →History: Typo fixing, typo(s) fixed: Therefore → Therefore, using AWB |
||
Line 94:
</ref>
In the recent years, the classical approaches have been resumed and advanced with great success. Therefore, the synthesis problem has been reformulated on the background of constructor-based term rewriting systems taking into account modern techniques of functional programming, as well as moderate use of search-based strategies and usage of background knowledge as well as automatic invention of subprograms. Many new and successful applications have recently appeared beyond program synthesis, most especially in the area of data manipulation, programming by example and cognitive modelling (see below).
Other ideas have also been explored with the common characteristic of using declarative languages for the representation of hypotheses. For instance, the use of higher-order features, schemes or structured distances have been advocated for a better handling of recursive data types and structures;<ref>
| |||