Inductive Syntactical Synthesis of Programs from Sample Computations.

Efim B. Kinber Inductive Syntactical Synthesis of Programs from Sample Computations. 73-84 1988 conf/mfcs/1988 MFCS db/conf/mfcs/mfcs88.html#Kinber88 http://dx.doi.org/10.1007/BFb0017132