网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇：

　

词汇 Abstract interpretation
分类 英语词汇 英语翻译词典
释义

Abstract interpretation

中文百科

抽象释义

在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机进程的语义的可靠逼近理论。它可以被看作对计算机进程的部分执行，获取关于它的语义信息(比如，控制结构、信息流)而不进行所有计算。

它的主要具体应用是形式静态分析，关于计算机进程的可能执行的信息的自动提取；比如这种分析有两个主要用途:

  • 在编译器内部，分析进程来确定特定优化或变换是否是可适用的；
  • 针对缺陷类的进程的调试甚至校验。

抽象释义是 Patrick Cousot 和 Radhia Cousot 所形式化的。

英语百科

Abstract interpretation 抽象释义

Example: abstraction of integer sets (red) to sign sets (green)
Combination of interval arithmetic (green) and congruence mod 2 on integers (cyan) as abstract domains to analyze a simple piece of C code (red: concrete sets of possible values at runtime). Using the congruence information (0=even, 1=odd), a zero division can be excluded. (Since only one variable is involved, relational vs. non-relational domains is not an issue here.)
A 3-dimensional convex example polyhedron describing the possible values of 3 variables at some program point. Each of the variables may be zero, but all three can't be zero simultaneously. The latter property cannot be described in the interval arithmetics domain.

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations.
随便看

　

依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。

　

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间：2025/8/30 22:11:30