abstract interpretation theory的意思|示意
美 / /
英 / /
抽象解释理论
abstract interpretation theory的网络常见释义
抽象解释理论 中国最大的综合性文献数据库 -维普资讯 关键词: 抽象解释理论 Galois连接 程序验证[gap=1103]Key words: abstract interpretation theory; Galois connection; program verification
abstract interpretation theory相关例句
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。