Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel +2

We present a novel bottom-up method for the synthesis of functional recursive programs. While bottom-up synthesis techniques can work better than top-down methods in certain settin…