抽象释义
在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机进程的语义的可靠逼近理论。它可以被看作对计算机进程的部分执行，获取关于它的语义信息(比如，控制结构、信息流)而不进行所有计算。
它的主要具体应用是形式静态分析，关于计算机进程的可能执行的信息的自动提取；比如这种分析有两个主要用途:
- 在编译器内部，分析进程来确定特定优化或变换是否是可适用的；
- 针对缺陷类的进程的调试甚至校验。
抽象释义是 Patrick Cousot 和 Radhia Cousot 所形式化的。
Abstract interpretation
中文百科
英语百科
Abstract interpretation 抽象释义
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.
- went with a swing的意思
- went with me的意思
- went without的意思
- went without saying的意思
- went with the crowd的意思
- went with the flow的意思
- went with the stream的意思
- went with the times的意思
- went with you的意思
- Wentworth的意思
- Wentworth Centre的意思
- Wentworth classification的意思
- wentworth grade scale的意思
- Wentworth Institute of Technology的意思
- Wentworth Military Academy的意思
- wentworths的意思
- Wentworth scale的意思
- Wentworth, Thomas的意思
- Wentworth, William Charles的意思
- went wrong的意思
- went wrong with的意思
- wenty的意思
- Wentz的意思
- Wentzel的意思
- Wentzelella的意思