MAYER MIKAEL

User interaction models for disambiguation in programming-by-example