Abstract Interpretation
抽象解释
Abstract Interpretation网络翻译
这就是抽象释义(Abstract Interpretation)方法根本:们抽象出程序某些信息,对这些信息进行自动分析,来尝试确定程序是否有着们想要性质,比如不会死循环、不会溢出等等.
抽象解释...料网 关键字：抽象解释；Galois连接；Widening 算子；Narrowing 算子；程序验证 [gap=1140]keyword】：Abstract interpretation；Galois connection ；Widening operator；Narrowing operator；program verification ..
抽象解译... 抽象单体 abstract individual 抽象解译 abstract interpretation 抽象机 abstract machine ...
Abstract Interpretation双语例句
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.
另一个问题是这种正确的或者内在的解释无法由一个在实验的指导下的抽象的公式化系统来表示。
相关单词
- investorn. 投资者，投资机构
- inkwelln. 墨水池
- illustratorn. 插图画家；说明者；图解者
- illusionistn. 魔术师；爱幻想的人；幻觉论者；幻觉派的艺术家
- autarchyn. 专制，独裁；专制国家
- atlasn. 地图册；第一颈椎，寰椎；（希腊式建筑中支撑柱楣的）男像柱（复数atlantes）
- astropologist人类学家
- assignedadj. 指定的；已分配的 v. 分配（assign 的过去分词）；指定；委派
- artisann. 工匠，技工
- arithn. 数学；算术 adj. 算术的
- arenan. 竞技场，圆形剧场；斗争场所，活动舞台 【名】 （Arena）（英）阿里纳，（意、西、葡、德）阿雷纳（人名）
- apprenticeshipn. 学徒期；学徒身份
- apprenticen. 学徒，徒弟；生手，新手 v. 收……为学徒；当学徒
- anthropologyn. 人类学
- anatomyn. 解剖学；（动植物的）组成结构，解剖构造；人体；剖析，详细分析；原因，成因；骨骼