Feature Model for Imperative Program Synthesis
Journal
2025 14th Mediterranean Conference on Embedded Computing (MECO)
Date Issued
2025-06-10
Author(s)
Dimovski, Aleksandar S.
Rexhepi, Shpetim
DOI
10.1109/meco66322.2025.11049129
Abstract
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.