Inductive Synthesis of Recursive Functional Programs

Hofmann, MartinMartinHofmannHirschberger, AndreasAndreasHirschbergerKitzelmann, EmanuelEmanuelKitzelmannSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-242007978-3-540-74564-8https://fis.uni-bamberg.de/handle/uniba/16792engInductive Synthesis of Recursive Functional Programs - A Comparison of Three Systemsconferenceobject