Analysis and Evaluation of Inductive Programming Systems in a Higher- Order Framework

Hofmann, MartinMartinHofmannKitzelmann, EmanuelEmanuelKitzelmannSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-242008https://fis.uni-bamberg.de/handle/uniba/18215deuAnalysis and Evaluation of Inductive Programming Systems in a Higher- Order Frameworkconferenceobject10.1007/978-3-540-85845-4http://www.cogsys.wiai.uni-bamberg.de/publications/KI2008_submission_49(4).pdf