Interprocedural Data-flow Analysis
Interprocedural Data-Flow Analysis is a systematic method for analyzing the flow of data across procedure boundaries in a program, distinguishing it from intra-procedural approaches by incorporating interprocedural control-flow and calling context to enable more precise global understanding of data dependencies.
204
Publications
18.5K
Citations
339
Authors
153
Institutions
Publications per year
2017–2026
8
204
Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations
Systematic design of program analysis frameworks
Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text
Precise interprocedural dataflow analysis via graph reachability
Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations
Points-to analysis in almost linear time
Bjarne Steensgaard · 1996 · 1.1K citations · Full text
Mark Weiser · International Conference on Software Engineering · 1981 · 702 citations
1–5 of 204
339
11
h-index
9
h-index
8
h-index
Rutgers, The State University of New Jersey, United States
8 publications · 288 citations
8
h-index
6
h-index
1–5 of 339
153
University of Pittsburgh
Pittsburgh, United States
10 h-index
21 publications
1.4K citations
IBM Research - Thomas J. Watson Research Center
Yorktown Heights, United States
9 h-index
13 publications
749 citations

Rice University
Houston, United States
9 h-index
26 publications
1.1K citations
Rutgers, The State University of New Jersey
New Brunswick, United States
7 h-index
13 publications
477 citations
Stanford University
Stanford, United States
6 h-index
11 publications
449 citations
IBM (United States)
Armonk, United States
6 h-index
13 publications
760 citations
Purdue University West Lafayette
West Lafayette, United States
6 h-index
13 publications
596 citations
University of Maryland, College Park
College Park, United States
5 h-index
11 publications
5.3K citations
1–8 of 153
14 publications · 605 citations
12
h-index
10 publications · 1K citations
10
h-index
TSE · 8 publications · 3.4K citations
8
h-index
SEN · 4 publications · 117 citations
4
h-index
Conference · 4 publications · 818 citations
4
h-index
1–5