Synthesis of Loop-free Programs

programs [16]. Finally, despite its appearance, loop-free program synthesis is challenging as the search space of loop-free programs is still huge. While we foresee several applications of component-based pro-gram synthesis, most of the examples in this paper relate to dis-covering intricate bitvector programs, which combine arithmetic ................
................