Automatic program synthesis via synthesis of loop-free segments | IEEE Conference Publication | IEEE Xplore