您的位置：网站首页 > 《中文科技期刊数据库》 > 工程技术 > 自动化计算机 > 计算机软件 > 摘要
一种基于抽象解释和通用单调数据流框架的值范围分析方法
姬孟洛 王怀民 李梦君 董威 齐治昌 国防科学技术大学计算机学院 长沙410073
|
摘要：安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明． | |
|---|---|---|
| 格式：PDF 页数：7 页 页码范围：2020-2026页 | ||
学科分类：
|
||
| 关 键 词：值范围分析 抽象解释 编译器优化 软件工程 | ||
| 来源期刊：《计算机研究与发展》2006年 第11期 | ||
| 收录数据库：中文科技期刊数据库 | ||
|
||
