自动程序合成

automatic program synthesis