这就是抽象释义(Abstract Interpretation)方法根本:们抽象出程序某些信息,对这些信息进行自动分析,来尝试确定程序是否有着们想要性质,比如不会死循环、不会溢出等等.
基于2300个网页-相关网页
...料网 关键字：抽象解释；Galois连接；Widening 算子；Narrowing 算子；程序验证 [gap=1140]keyword】：Abstract interpretation；Galois connection ；Widening operator；Narrowing operator；program verification ..
基于122个网页-相关网页
Abstract interpretation is a general theory of semantics approximation,which has been widely used in the verification of computer programs.
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。
参考来源 - 基于抽象解释的Prolog程序验证技术研究 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Is there any basic abstract interpretation lib or tool in SOOT?
有基本的抽象解释库或工具的烟尘？
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。
Another problem is failed to express the correct or intrinsic interpretation in an abstract formulation system under the guidance of experiments.
另一个问题是这种正确的或者内在的解释无法由一个在实验的指导下的抽象的公式化系统来表示。
应用推荐