Data-Driven Detection of Catamorphisms - Towards Problem Specific Use of Program Schemes for Inductive Program Synthesis

Hofmann, MartinMartinHofmann2019-09-192014-04-302010https://fis.uni-bamberg.de/handle/uniba/3953engData-Driven Detection of Catamorphisms - Towards Problem Specific Use of Program Schemes for Inductive Program Synthesisconferenceobjecthttp://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf