Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Data-flow analysis

Known as: DFA, Flow analysis, Data-flow graph 
Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. A… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Software security vulnerabilities are one of the critical issues in the realm of computer security. Due to their potential high… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2016
Highly Cited
2016
TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. Tensor-Flow uses dataflow… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines… Expand
  • figure 1
  • figure 2
  • figure 8
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2004
Highly Cited
2004
SummaryWe consider a generalization of Kildall's lattice theoretic approach to data flow analysis, which we call monotone data… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Programs written in powerful, higher-order languages like Scheme, ML, and Common Lisp should run as fast as their FORTRAN and C… Expand
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
Is this relevant?
Highly Cited
1985
Highly Cited
1985
This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Semantic analysis of programs is essential in optimizingcompilers and program verification systems. It encompasses dataflow… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper. A… Expand
  • figure 2
  • table I
  • figure 5
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
1970
Highly Cited
1970
Any static, global analysis of the expression and data relationships in a program requires a knowledge of the control flow of the… Expand
Is this relevant?