Program Synthesis
Program Synthesis is a scholarly work, published in 2017. The main subject of the publication is reconfigurable computing. The authors then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples.