本文基于抽象解释理论框架，扩展了经典的区间抽象，提出了一种扩展区间的方法来表示变量的值范围信息。
Based on abstract interpretation theory, this paper extends classical interval abstraction, and extended intervals are used to describe variable range.
给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
语义三角是一种用简洁、形象的几何图形对抽象的语言实质进行解释的模式理论。
The semantic triangle is a concise symbol intended to explain the abstract nature of language.
其二，抽象的理论公式不能很好的支持这些正确的或则内在的解释。
This means that the logic consistence must play its role. 2 the correct or intrinsic catching interpretation may fail to get good support from the abstract theoretic formulation.
其二，抽象的理论公式不能很好的支持这些正确的或则内在的解释。
This means that the logic consistence must play its role. 2 the correct or intrinsic catching interpretation may fail to get good support from the abstract theoretic formulation.
应用推荐