Computer program synthesis from computation traces

Biermann, A. W.

Classics 

From: Kyoto University Research Information Repository