Synthesizing number transformations from input-output examples (2012)

by R Singh, S Gulwani
Venue:In CAV