Strategies for generalization in Programming by Example
System makes a guess, heuristically
Inferred from context, domain-dependent
System may supply choices to give user context
System receives advice from user
Advice used as context for system's choices