Intraprocedural Data-flow Analysis
Intraprocedural Data-Flow Analysis is a type of data-flow analysis that examines the flow of information within a single procedure or function, without considering interactions with or transformations across other procedures.
119
Publications
12.5K
Citations
230
Authors
100
Institutions
Publications per year
2017–2026
4
Parents
119
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
Mark Weiser · International Conference on Software Engineering · 1981 · 702 citations
1–5 of 119
230
Rutgers, The State University of New Jersey, United States
9 publications · 340 citations
9
h-index
8
h-index
7
h-index
5
h-index
5
h-index
1–5 of 230
100
University of Pittsburgh
Pittsburgh, United States
9 h-index
20 publications
1.6K citations
Rutgers, The State University of New Jersey
New Brunswick, United States
8 h-index
16 publications
621 citations

Rice University
Houston, United States
7 h-index
17 publications
1.2K citations
University of Wisconsin–Madison
Madison, United States
6 h-index
11 publications
1.5K citations
IBM (United States)
Armonk, United States
4 h-index
8 publications
365 citations

University of Massachusetts Amherst
Amherst Center, United States
3 h-index
7 publications
585 citations
University of California San Diego
San Diego, United States
3 h-index
6 publications
178 citations

University of Rochester
Rochester, United States
3 h-index
3 publications
77 citations
1–8 of 100
11 publications · 638 citations
11
h-index
8 publications · 576 citations
8
h-index
TSE · 4 publications · 4.3K citations
4
h-index
SEN · 3 publications · 115 citations
3
h-index
TPDS · 2 publications · 81 citations
2
h-index
1–5