Dissertationzur Erlangung des akademischen GradesDoktor der Naturwissenschaften (Dr. rer. nat.),eingereicht bei derFakultat Wirtschaftsinformatik und Angewandte Informatikder Otto-Friedrich-Universitat BambergA Combined Analytical and Search-BasedApproach to the Inductive Synthesis ofFunctional ProgramsEmanuel Kitzelmann12. Mai 2010Promotionskommission:Prof. Dr. Ute Schmid (1. Gutachter)Prof. Michael Mendler, PhD (Vorsitzender)Prof. Dr. Christoph SchliederExterner 2. Gutachter:Prof. Dr. Bernd Krieg-Bruckner(Universitat und DFKI Bremen)iiErklarungErklarung gema x10 der Promotionsordnung der Fakultat Wirtschaftsinformatik und Angewandte Informatik an der Otto-Friedrich-Universitat Bamberg: Ich erklare, dass ich die vorgelegte Dissertation selbstandig, das hei t auch ohne die Hilfe einer Promotionsberaterin bzw. eines Promotionsberaters angefertigt habeund dabei keine anderen Hilfsmittel als die im Literaturverzeichnis genannten be-nutzt und alle aus Quellen und Literatur wortlic h oder sinngema entnommenenStellen als solche kenntlich gemacht habe. Ich versichere, dass die Dissertation oder wesentliche Teile derselben nicht bereitseiner anderen Prufungsbehorde zur Erlangung des Doktorgrades vorlagen. Ich erklare, dass diese Arbeit noch nicht in ihrer Gesamtheit publiziert ist.