摘要：

目前人们通常单纯用增加临时变量和相关判断的方法，或者使用共享代码拷贝的方法来消除goto语句，但前一种方法会造成判定增加，语义分析困难，而后一种虽然使转变后 的程序结构清晰，却造成了benchmark中的某些程序急剧膨胀，针对上述问题，本文提出了能控制膨胀的代码拷贝算法，且该算法还能有效地处理不可规约的程序。

关键词: 程序结构化 膨胀 代码拷贝 判定增加