Relational decomposition for program synthesis

Céline Hocquette, Andrew Cropper

We introduce a relational approach to program synthesis. The key idea is to decompose synthesis tasks into simpler relational synthesis subtasks. Specifically, our representation d…