| 基于MST的优化技术：监督式编译 |
| 其他题名 | optimization technology based on mst:supercompilation
|
| 郑丽丽; 陈海明
|
| 2011
|
| 发表期刊 | Computer Engineering and Design
 |
| ISSN | 1000-7024
|
| 卷号 | 32期号:1 |
| 摘要 | 为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上，分析了监督式编译的各种算法，并进行了对比，总结了不同算法的优缺 点。从研究和应用两方面对监督式编译进行分析，并提出新的发展方向。在此基础上，将其它基于系统转换(metasystem transition，MST)的优化技术与监督式编译进行比较，并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。 |
| 收录类别 | CSCD
|
| 其他摘要 | 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 on metasystem transition.An example is provided to show that supercompilation is more powerful than partial evaluation and deforestation. |
| 关键词 | 系统转换
优化技术
监督式编译
部分求值
自应用
|
| 部门归属 | 郑丽丽 中国科学院软件研究所 计算机科学国家重点实验室 北京 100190 中国. 陈海明 中国科学院软件研究所 计算机科学国家重点实验室 北京 100190 中国.
|
| 学科领域 | Computer Science
|
| 资助者 | 国家自然科学基金项目
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:4277766
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16109
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
郑丽丽,陈海明. 基于MST的优化技术：监督式编译[J]. Computer Engineering and Design,2011,32(1).
|
| APA |
郑丽丽,&陈海明.(2011).基于MST的优化技术：监督式编译.Computer Engineering and Design,32(1).
|
| MLA |
郑丽丽,et al."基于MST的优化技术：监督式编译".Computer Engineering and Design 32.1(2011).
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论