Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

111 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Learning with Latent Language (2017, background): “, 2003) or type systems (Kitzelmann and Schmid, 2006) can be brought to bear on the search problem, and the bias inherent in the syntax of the formal language provides a strong prior.”
Synthesizing data structure transformations from input-output examples (2015, background): “Work here falls in two categories: those that inductively generalize examples into functions or relations [18], and those that search for implementations that fit the examples [14, 25].”
Synthesizing transformations on hierarchically structured data (2016, background): “We build on the tradition of inductive programming [18, 20, 22], where the goal is to synthesize functional or logic programs from examples.”
Inductive Programming: A Survey of Program Synthesis Techniques (2009, methodology): “In [11], an extension of Summers’ ﬁrst step is described.”