基于MST的优化技术：监督式编译
文献类型：期刊论文
| 作者 | 郑丽丽 ; 陈海明 |
| 刊名 | Computer Engineering and Design
 |
| 出版日期 | 2011 |
| 卷号 | 32期号:1 |
| 关键词 | 系统转换 优化技术 监督式编译 部分求值 自应用 |
| ISSN号 | 1000-7024 |
| 其他题名 | optimization technology based on mst:supercompilation |
| 中文摘要 | 为将监督式编译技术(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 on metasystem transition.An example is provided to show that supercompilation is more powerful than partial evaluation and deforestation. |
| 学科主题 | Computer Science |
| 收录类别 | CSCD |
| 资助信息 | 国家自然科学基金项目 |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4277766 |
| 公开日期 | 2013-10-08 |
| 源URL | [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). |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。