Abstract Interpretation
370
浏览
0
关注

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on Monotonic function#Monotonicity_in_order_theory|monotonic functions over ordered sets, especially lattice (order)|lattices. It can be viewed as a partial Execution (computers)|execution of a computer program which gains information about its semantics (e.g. control-flow analysis|control-flow, data-flow analysis|data-flow) without performing all the calculations. Its main concrete application is formal static code analysis|static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: * inside compilers, to analyse programs in order to decide whether certain Optimization (computer science)|optimizations or Program transformation|transformations are applicable; * for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by...
[展开]
主要的会议/期刊
演化趋势
Chart will load here
Abstract Interpretation文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜