Synthesis-Based Loose Programming | IEEE Conference Publication | IEEE Xplore