这就是抽象释义(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
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。
Abstract: Interpretation rules of declaration of will of General Principles of Civil Code (Draft) are remarkably stipulated, but need to be perfected.
摘要《民法总则草案》设计的意思表示解释规则，可圈可点，但也有需要完善之处。
应用推荐