Program splicing
FlashMeta: a framework for inductive program synthesis