John Feser

Synthesizing data structure transformations from input-output examples

2015 · ACM SIGPLAN Notices

We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a functional language with higher-order combinators like map and …