dataflow analysis
143
浏览
0
关注

Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. A program's control flow graph (CFG) is used to determine those parts of a program to which a particular value assigned to a variable might propagate. The information gathered is often used by compilers when optimizing compiler|optimizing a program. A canonical example of a data-flow analysis is reaching definitions. A simple way to perform data-flow analysis of programs is to set up data-flow equations for each node (computer science)|node of the control flow graph and solve them by repeatedly calculating the output from the input locally at each node until the whole system stabilizes, i.e., it reaches a fixpoint. This general approach was developed by Gary Kildall while teaching at the Naval Postgraduate School.
相关概念
Type System    
Control Flow    
Case Study    
Data Flow    
主要的会议/期刊
演化趋势
Chart will load here
dataflow analysis文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜