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

评论推荐

姬孟洛 王怀民 李梦君 董威 齐治昌

国防科学技术大学计算机学院,长沙410073

摘　　要:

安全而又精确的值范围分析对编译器优化至关重要．系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定叉、分析和完整的正确性证明．与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明．
页　　数:
共7页
页码范围:
2020-2026页

相关文章:

主题相关 参考文献(12篇)　
参考文献+更多
相关期刊+更多
    社区热帖+更多
    • 快讯