Feature Model for Imperative Program Synthesis
Aleksandar S. Dimovski, Goran Velinov, Shpetim Rexhepi · 2025
In this paper, we thoroughly explore the space of the state-of-the art in the field of imperative program synthesis. This results in a feature model that identifies the key features and their variation points for designing today’s imperative program synthesizers. Furthermore, we establish two major areas of improvement: program expressivity and scalability.