Models of inductive synthesis

AbstractIn designing a new algorithm we usually begin with considering a number of examples and then try to generalize them. These examples are mainly input-output examples or sample computations (computation traces, histories of computations) explaining the algorithm's behavior. The aim of our research is to understand and formalize the process of this generalization and eventually to design practical synthesizers