Publication Details
Title: A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
Author: E. Kitzelmann
Group: AI
Date: May 2011
PDF: http://www.icsi.berkeley.edu/pubs/ai/Kitzelmann2011.pdf
Acknowledgements:
This work was partially funded by the Deutscher Akademischer Austausch Diesnst (DAAD) through a postdoctoral fellowship.
Bibliographic Information:
Künstliche Intelligenz, Vol. 25, No. 2, pp. 179-182. Extended abstract of PhD thesis. Also in Ausgezeichnete Informatikdissertationen as "Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme" (Extended abstract in German)
Bibliographic Reference:
E. Kitzelmann. A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. Künstliche Intelligenz, Vol. 25, No. 2, pp. 179-182. Extended abstract of PhD thesis. Also in Ausgezeichnete Informatikdissertationen as "Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme" (Extended abstract in German), May 2011
Author: E. Kitzelmann
Group: AI
Date: May 2011
PDF: http://www.icsi.berkeley.edu/pubs/ai/Kitzelmann2011.pdf
Acknowledgements:
This work was partially funded by the Deutscher Akademischer Austausch Diesnst (DAAD) through a postdoctoral fellowship.
Bibliographic Information:
Künstliche Intelligenz, Vol. 25, No. 2, pp. 179-182. Extended abstract of PhD thesis. Also in Ausgezeichnete Informatikdissertationen as "Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme" (Extended abstract in German)
Bibliographic Reference:
E. Kitzelmann. A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs. Künstliche Intelligenz, Vol. 25, No. 2, pp. 179-182. Extended abstract of PhD thesis. Also in Ausgezeichnete Informatikdissertationen as "Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme" (Extended abstract in German), May 2011