On the control-subroutine implementation of subprogram synthesis | IEEE Conference Publication | IEEE Xplore