Institutional Repository
| 基于MST的优化技术：监督式编译 | |
| Alternative Title | optimization technology based on mst:supercompilation |
| 郑丽丽; 陈海明 | |
| 2011 | |
| Source | Computer Engineering and Design
 |
| ISSN | 1000-7024 |
| Volume | 32Issue:1 |
| English Abstract | 为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上，分析了监督式编译的各种算法，并进行了对比，总结了不同算法的优缺 点。从研究和应用两方面对监督式编译进行分析，并提出新的发展方向。在此基础上，将其它基于系统转换(metasystem transition，MST)的优化技术与监督式编译进行比较，并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。 |
| Indexed Type | CSCD |
| Abstract | 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. |
| Keyword | 系统转换 优化技术 监督式编译 部分求值 自应用 |
| Department | 郑丽丽 中国科学院软件研究所 计算机科学国家重点实验室 北京 100190 中国. 陈海明 中国科学院软件研究所 计算机科学国家重点实验室 北京 100190 中国. |
| Subject | Computer Science |
| Sponsorship | 国家自然科学基金项目 |
| Language | 中文 |
| CSCD ID | CSCD:4277766 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16109 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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). |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment