User Interaction Models for Disambiguation in Programming by Example
Synthesizing data structure transformations from input-output examples