Documents Savoirs A combined analytical and search-based approach to the inductive synthesis of functional programs [Elektronische Ressource] / Emanuel Kitzelmann Emanuel Kitzelmann