Efficient Bottom-Up Synthesis for Programs with Local Variables

Xiang Li, Xiangyu Zhou, Rui Dong +2

We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g., those introduced by lambdas). Prior bottom-up synthesis algorithms are not abl…