Computer program synthesis from computation traces

Biermann, A.W.

Classics 

From: Kyoto University Research Information Repository