基于MST的优化技术:监督式编译

作者：郑丽丽; 陈海明

来源：计算机工程与设计, 2011, (01): 179-182+201.

DOI：10.16208/j.issn1000-7024.2011.01.036

• 系统转换
• 优化技术
• 监督式编译
• 部分求值
• 自应用 metasystem transition
• optimization techniques
• supercompilation
• partial evaluation
• self-application

为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换(metasystem transition,MST)的优化技术与监督式编译进行比较,并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。

• 单位
  计算机科学国家重点实验室; 中国科学院软件研究所