Speeding up theSynthesis oF Programsfrom Traces

[1]  Manuel Blum,et al.  Inductive Inference: A Recursion Theoretic Approach , 1973, SWAT.

[2]  Zohar Manna,et al.  Toward automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.