研究论文

面向结构保持软件再生成的可检查控制方法

研究意义。该工作把“哪些程序结构必须保持不变”转化为可检查的离散潜在控制点，并在结构稳定性与编辑自由度之间给出可量化的权衡。