抽象解释

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

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

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

A Comparable Code Obfuscation Framework Measuring Efficiency Based on Abstract Interpretation

基于完备抽象解释的模型检验CTL公式研究

Model Checking CTL Based on Complete Abstraction Interpretation

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

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

一个基于抽象解释的部分演绎过程

A partial deduction procedure based on abstract interpretations

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

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

系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架，包括精确的定义、分析和完整的正确性证明。

Different from other value range analysis methods , this framework includes complete definitions , analysis and correctness proofs .

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

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

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

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

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

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 .

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

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 .

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

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 .

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

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 .

司法解释之间矛盾冲突不断，抽象解释之间的冲突、法律适用中的冲突造成了我国刑事诉讼法解释领域的混乱状况。

The judicial interpretation between conflicts constantly , abstract explain the conflict between the applicable law , the conflicts caused the criminal procedure law of our county in the field of explain chaotic circumstances .

对抽象司法解释的一个改革途径，就是构建完善司法实践中案例指导做法的判例指导制度。

One of approaches of innovating nonrepresentational legal explaining is perfecting the precedent directing system .

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

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

适当论是对以往关于国际合同的法律适用理论的扬弃，更是对国际合同法律适用的历史和现状的抽象和解释；

" The Proper Law Doctrine of a Contract " is not only to abandon by choosing the former application of law of the international contract , but also to Abstract and interpret the history and realistic condition of the law application international contract .

当我们习于以内与外的抽象区别来解释精神与自然的区别时，我们常遇见这种错误。

We find this mistake made when , as is often done , the difference between nature and mind is traced back to the abstract difference between inner and outer .

上级法院的主要作用不是审理大案、要案，也不是作出抽象的司法解释，而是通过具体判例过程统一下级法院的司法解释。

The main function of the court of higher level is not to try the major cases , do not make abstract judicial explanation , but unify judicial explanation of the subordinate court through concrete legal precedent course .

地质学本身是以化学，物理和生物学为基础，应用其基本的抽象理论概念来解释观察到的资料。

Geology itself is firmly based on chemistry , physics , and biology , involving the application of essentially abstract concepts to observed data .

文章最后一部分结合具体空间现象对基本模式加以说明，以此作为对抽象形式语言的解释与验证。

At the end of the article , basic sequence is further explained together with detailed space phenomenon , which are served as the explanation and verification of abstract formal language .