您的位置:网站首页 > 《中文科技期刊数据库》 > 工程技术 > 自动化计算机 > 计算机软件 > 摘要

一种基于抽象解释和通用单调数据流框架的值范围分析方法

《计算机研究与发展》2006年 第11期 | 姬孟洛 王怀民 李梦君 董威 齐治昌   国防科学技术大学计算机学院 长沙410073
★ 收藏 | 分享
  • 第1页
  • 第2页
  • 第3页
  • 第4页
论文服务:
摘 要:安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定叉、分析和完整的正确性证明.与一般的值范围分析方法不同,该框架不仅包括抽象解释,还包括与之对应的具体解释,以及相应的正确性证明.
【分 类】【工业技术】 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 编译程序、解释程序
【关键词】 值范围分析 抽象解释 编译器优化 软件工程
【出 处】 《计算机研究与发展》2006年 第11期 2020-2026页 共7页
【收 录】 中文科技期刊数据库