Abstract Interpretation

An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework

一种基于抽象解释和通用单调数据流框架的值范围分析方法

A Comparable Code Obfuscation Framework Measuring Efficiency Based on Abstract Interpretation

基于抽象解释的代码迷惑有效性比较框架

Firstly we present a data race and atomicity analysis method based on abstract interpretation .

首先，提出了一种基于抽象解释的数据竞争和原子性分析方法。

Abstract interpretation of a restricted class of Prolog programs and Its Applications

一类受限PROLOG程序的抽象解释及其应用

In Chinese as a foreign language dictionary is an abstract interpretation of the term focus is difficult .

在对外汉语词典中抽象名词的释义是难点也是重点。

Abstract interpretation is related to logic programming closely , and it plays an important role in the study of semantics of logic programs .

抽象解释方法与逻辑程序有着紧密的联系，在逻辑程序语义的研究中有着重要的作用。

Compared with general theory about abstract interpretation , the method focuses on value range analysis , so the analysis and the proof of the analysis is straightforward .

与一般的值范围分析方法不同，该框架不仅包括抽象解释，还包括与之对应的具体解释，以及相应的正确性证明。

Those with high-frequency characteristics of an abstract interpretation of the term goal to study the words , consider their compliance with the requirements of .

以这些具有高频特点的抽象名词释义词语为研究目标，考量其是否符合释义元语言的要求。

Based on abstract interpretation , this paper proposes an abstract representation and computation method to get the variable values , which considers the relationship between variables .

本文基于抽象解释理论提出一种考虑变量相关性的变量取值抽象表示和计算方法。

Value range analysis based on abstract interpretation can give the invariant relationship of variables at every program point which is very important to compilation optimization and error examination .

基于抽象解释的数值程序分析可以自动推导程序中数值变量间的不变式关系，这对于编译优化、程序错误检查至关重要。

From the Principle of functional propriety , this article argued that under the current system , the only possible mode of China constitutional interpretation is abstract interpretation .

中国现有体制下的宪法解释只能适用抽象解释的模式，宪法解释程序的建立也必须以此为前提。

Jump through the target in the analysis of specific examples , we can understand that the examples of abstract interpretation of the term and its lack of features .

通过对目标词典中具体示例的分析，我们可以了解到抽象名词释义示例的特点及其不足。

First , the criteria for the copy relation and semantics-preserving transformation attacks are formally characterized by abstract interpretation from a semantic point of view .

首先，从语义的角度分别对程序拷贝关系和语义保持变换攻击进行了形式化地描述。

This paper presents a worst-case execution time ( WCET ) analysis method where its automatic program flow analysis method is based on value range propagation method supported by abstract interpretation .

利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；

This paper established goals in abstract terms Interpretation language corpus , interpretation of the words extracted from the high-frequency word in the former 150 words .

本文组建目标词典中抽象名词释义语言的语料库，从中提取释义词语中的高频词前150个。

However , the image theoretical criticism represents the image advanced formation of image criticism and the image in use lays emphasis on the abstract theory interpretation , without or less emotional element , but bursting with stronger rational element .

意象理论批评是意象批评的高级形态，使用的意象侧重于抽象理论的解说，不具或很少带情感感染性，理性色彩较强。

When there are no available constructive norms , the interpreters must appeal to more abstract factors of interpretation .

在不存在可适用的任意性规范时，解释者最终就必须求助于更为抽象的解释因素。

News Review is a product of abstract thinking , the interpretation of the truth by reasoning of .

新闻评论是抽象思维的产物，是阐释道理、以理服人的。