Toward automatic program synthesis
PROW: A Step Toward Automatic Program Writing