SpringerLink - Book Chapter

Institutional Login

Welcome!

To use the personalized features of this site, please log in or register.

If you have forgotten your username or password, we can help.

My Menu

Marked Items

Alerts

Order History

Saved Items

All

Favorites


Book Chapter

Inductive Synthesis of Recursive Functional Programs

A Comparison of Three Systems

Book Series	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
ISSN	0302-9743 (Print) 1611-3349 (Online)
Volume	Volume 4667/2007
Book	KI 2007: Advances in Artificial Intelligence
DOI	10.1007/978-3-540-74565-5
Copyright	2007
ISBN	978-3-540-74564-8
DOI	10.1007/978-3-540-74565-5_42
Pages	468-472
Subject Collection	Computer Science
SpringerLink Date	Sunday, August 26, 2007

Add to marked items

Add to shopping cart

Add to saved items

Permissions & Reprints

Recommend this chapter

PDF (405.3 KB)

Free Preview

Inductive Synthesis of Recursive Functional Programs

A Comparison of Three Systems

Martin Hofmann¹, Andreas Hirschberger¹, Emanuel Kitzelmannn¹ and Ute Schmid¹

(1)	University of Bamberg, Faculty of Information Systems, and Applied Computer Science,

Abstract

One of the most challenging subfields, and a still little researched niche of machine learning, is the inductive synthesis of recursive programs from incomplete specifications, such as examples for the desired input/output behavior [1,2,3,4].