@article{严倩羽:1, author = {严倩羽, 李弋, 彭鑫}, title = {实例编程研究进展与挑战}, publisher = {计算机科学}, year = {2022}, journal = {计算机科学}, volume = {49}, number = {11}, eid = {1}, numpages = {6}, pages = {1}, keywords = {程序合成;实例编程;搜索策略;歧义性}, url = {https://www.jsjkx.com/CN/abstract/article_21074.shtml}, doi = {10.11896/jsjkx.211000225} }