Program Synthesis Using Example Propagation

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive reasoning in the style of ${\lambda }^2$ with Sm…