Program synthesis

تحويل تكوين البرنامج