terpret : a probabilistic programming language for program induction .
Automating string processing in spreadsheets using input-output examples