Reaching Definitions is a data-flow analysis framework that identifies, for each program point, the set of variable assignments (definitions) that may reach that point without being overwritten by an intervening assignment.
6
Publications
1.5K
Citations
14
Authors
11
Institutions
Publications per year
2017–2026
0
Parents
Publications
6
Precise interprocedural dataflow analysis via graph reachability
Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations
Variable precision reaching definitions analysis for software maintenance
Paolo Tonella, Giuliano Antoniol, R. Fiutem et al. · 2002 · 17 citations
1–5 of 6
Authors
14
- ML
2
h-index
- MJ
2
h-index
- RF
1
h-index
- TR
1
h-index
- BGBarbara G. Ryder
Rutgers, The State University of New Jersey, United States
1 publications · 142 citations
1
h-index
1–5 of 14
Institutions
11
University of Pittsburgh
Pittsburgh, United States
2 h-index
3 publications
185 citations
Siemens (United States)
Princeton, United States
1 h-index
2 publications
284 citations
Public Health Agency of Canada
Ottawa, Canada
1 h-index
1 publications
11 citations
Polytechnique Montréal
Montreal, Canada
1 h-index
1 publications
17 citations
Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare
Rome, Italy
1 h-index
3 publications
51 citations
Cambridge Scientific (United States)
Watertown, United States
1 h-index
1 publications
1.2K citations
Rutgers, The State University of New Jersey
New Brunswick, United States
1 h-index
1 publications
142 citations
Clemson University
Clemson, United States
1 h-index
1 publications
135 citations
1–8 of 11
Venues
- Evaluation and Program Planning
1 publications · 11 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 142 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 135 citations
1
h-index
1–3