Inductive Synthesis of Functional Programs - an Explanation Based Generalization Approach

Kitzelmann, EmanuelEmanuelKitzelmannSchmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-2420061532-4435https://fis.uni-bamberg.de/handle/uniba/14666engInductive Synthesis of Functional Programs - an Explanation Based Generalization Approacharticlehttp://jmlr.csail.mit.edu/papers/volume7/kitzelmann06a/kitzelmann06a.pdf