Models of Inductive Syntactical Synthesis
J. M. Barzdin, Alvis Brāzma, Efim B. Kinber · 1991
Abstract When designing or comprehending different algorithms we usually begin with considering a number of examples and then try to generalize from them. The aim of researches in inductive synthesis is to understand and formalize this process and eventually to design practical synthesizers.