| 一种基于抽象解释和通用单调数据流框架的值范围分析方法 |
| |
| 引用本文： | 姬孟洛,王怀民,李梦君,董威,Qi Zhichang,齐治昌.一种基于抽象解释和通用单调数据流框架的值范围分析方法[J].计算机研究与发展,2006,43(11):2020-2026. |
| |
| 作者姓名： | 姬孟洛 王怀民 李梦君 董威 Qi Zhichang 齐治昌 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明．
|
| 关 键 词： | 值范围分析 抽象解释 编译器优化 软件工程 |
| 收稿时间： | 04 10 2005 12:00AM |
| 修稿时间： | 2005-04-102006-03-28 |
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework |
| |
| Qi Zhichang.An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework[J].Journal of Computer Research and Development,2006,43(11):2020-2026. |
| |
| Authors: | Qi Zhichang |
| |
| Affiliation: | School of Computer Science, National University of Defense Technology, Changsha 410073 |
| |
| Abstract: | Safe and accurate value range analysis is crucial for compiler optimization. Based on abstract interpretation and generalized monotone data flow framework, a complete framework for value range analysis is proposed in this paper. Different from other value range analysis methods, this framework includes complete definitions, analysis and correctness proofs. Compared with general theory about abstract interpretation, the method focuses on value range analysis, so the analysis and the proof of the analysis is straightforward. |
| |
| Keywords: | value range analysis abstract interpretation compiler optimization software engineering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
