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

摘要：

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

关键词：系统转换、优化技术、监督式编译、部分求值、自应用

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金项目60573013、60721061、60811120022

在线出版日期：2011-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：179-182,201