abstract interpretation theory
中国最大的综合性文献数据库 -维普资讯 关键词: 抽象解释理论 Galois连接 程序验证[gap=1103]Key words: abstract interpretation theory; Galois connection; program verification
基于6个网页-相关网页
abstract interpretation theory
抽象解释理论
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。
youdao
更多双语例句