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

Optimization technology based on MST: supercompilation

作　　者：郑丽丽[1] 陈海明[1] 

机构地区：[1]中国科学院软件研究所计算机科学国家重点实验室,北京100190

出　　处：《计算机工程与设计》2011年第1期179-182,201,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(60573013;60721061;60811120022)

摘　　要：为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换(metasystem transition,MST)的优化技术与监督式编译进行比较,并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。To extend the application of supercompilation to other programming languages,different algorithms of supercompilation are analyzed and compared.Through comparisons,merits and short comings of the algorithms are summarized.Through the analysis of supercompilation researches and applications,new orientations are put forward.On the basis of above,supercompilation is compared with other optimization techniques based onmetasystemtransition.An example is provided to show that supercompilation is more powerful than partial evaluation and deforestation.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]