英语词汇abstract interpretation怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

abstract interpretation

释义

abstract interpretation

简明释义

抽象解释

网络释义

1
?抽象释义
这就是抽象释义(Abstract Interpretation)方法根本:们抽象出程序某些信息,对这些信息进行自动分析,来尝试确定程序是否有着们想要性质,比如不会死循环、不会溢出等等.
2
?抽象解释
...料网关键字：抽象解释；Galois连接；Widening 算子；Narrowing 算子；程序验证 [gap=1140]keyword】：Abstract interpretation；Galois connection ；Widening operator；Narrowing operator；program verification ..
3
?抽象解译
... 抽象单体 abstract individual 抽象解译 abstract interpretation 抽象机 abstract machine ...

短语

1
an abstract interpretation
理想化的解释
2
abstract interpretation theory
抽象解释理论

双语例句

1
Is there any basic abstract interpretation lib or tool in SOOT?
有基本的抽象解释库或工具的烟尘？
2
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。
3
Another problem is failed to express the correct or intrinsic interpretation in an abstract formulation system under the guidance of experiments.
另一个问题是这种正确的或者内在的解释无法由一个在实验的指导下的抽象的公式化系统来表示。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	abstract interpretation
释义	abstract interpretation 简明释义抽象解释网络释义 1 ?抽象释义这就是抽象释义(Abstract Interpretation)方法根本:们抽象出程序某些信息,对这些信息进行自动分析,来尝试确定程序是否有着们想要性质,比如不会死循环、不会溢出等等. 2 ?抽象解释 ...料网关键字：抽象解释；Galois连接；Widening 算子；Narrowing 算子；程序验证 [gap=1140]keyword】：Abstract interpretation；Galois connection ；Widening operator；Narrowing operator；program verification .. 3 ?抽象解译 ... 抽象单体 abstract individual 抽象解译 abstract interpretation 抽象机 abstract machine ... 短语 1 an abstract interpretation 理想化的解释 2 abstract interpretation theory 抽象解释理论双语例句 1 Is there any basic abstract interpretation lib or tool in SOOT? 有基本的抽象解释库或工具的烟尘？ 2 Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range. 本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。 3 Another problem is failed to express the correct or intrinsic interpretation in an abstract formulation system under the guidance of experiments. 另一个问题是这种正确的或者内在的解释无法由一个在实验的指导下的抽象的公式化系统来表示。
随便看	IWSR IWS support iwt iwto iwts IWU i wu I.W.W. IWW IW-wire iw wire iwwire IX IX IX Ixa Ixabepilone Ixa cylindrus Ixa edwardsii ixa inermis ixbut IXC Ixcamilpa ixcan Ixcapuzalco