高级检索

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

    An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework

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

       

      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.

       

    /

    返回文章
    返回