%0 Journal Article %1 journals/pacmpl/LiZDZW24 %A Li, Xiang %A Zhou, Xiangyu %A Dong, Rui %A Zhang, Yihong %A Wang, Xinyu %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1540-1568 %T Efficient Bottom-Up Synthesis for Programs with Local Variables. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#LiZDZW24 %V 8

@article{journals/pacmpl/LiZDZW24, added-at = {2024-05-07T00:00:00.000+0200}, author = {Li, Xiang and Zhou, Xiangyu and Dong, Rui and Zhang, Yihong and Wang, Xinyu}, biburl = {https://www.bibsonomy.org/bibtex/2009abaa32131292e7189572a0b9c89e3/dblp}, ee = {https://doi.org/10.1145/3632894}, interhash = {e351aedb4a6006b09f54e476589d9c96}, intrahash = {009abaa32131292e7189572a0b9c89e3}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1540-1568}, timestamp = {2024-05-13T07:02:54.000+0200}, title = {Efficient Bottom-Up Synthesis for Programs with Local Variables.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#LiZDZW24}, volume = 8, year = 2024 }