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

209

pages

Deutsch

Documents

2010

Écrit par
Emanuel Kitzelmann

Publié par
otto-friedrich-universitat_bamberg

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

209

pages

Deutsch

Documents

2010

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

otto-friedrich-universitat_bamberg

Publié le

01 janvier 2010

Nombre de lectures

Langue

Deutsch

Poids de l'ouvrage

1 Mo

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.

Voir

Publié par

otto-friedrich-universitat_bamberg

Publié le

01 janvier 2010

Langue

Deutsch

Poids de l'ouvrage

1 Mo

Informatik

Voir