一句话：利用算法伪代码中的控制结构框架与变量名信息引导程序合成，缩小搜索空间并合成含控制结构的复杂程序。
现有程序合成方法普遍受限于合成程序规模小、逻辑简单，难以处理具有复杂控制结构的程序。本文提出一种基于算法伪代码的程序合成方法：通过解析伪代码，提取控制结构框架与变量名等关键信息，并以此作为引导信号约束和驱动合成过程。实验表明，从伪代码中提取的信息有助于缩减程序搜索空间并增强合成器的能力，能够合成一些带有控制结构的较复杂程序。
The limitation of the current program synthesis method is that the synthesized program is small in scale and simple in logic. In this work, we introduce an effective program synthesis approach based on algorithm pseudocode. By parsing the pseudocode, critical information like control structure framework and variable names can be obtained which are used to guide the process of synthesis. Experiments show that information extracted from pseudocode helps to reduce the space of programs and enhance the ability of the synthesizer. It can synthesize some complex programs with control structures.
DOI 原文 ·
@inproceedings{paperbot6483,
title = {Program Synthesis with Algorithm Pseudocode Guidance},
author = {Zihui Wang},
booktitle = {ASE},
year = {2021},
doi = {10.1109/ase51524.2021.9678657}
}