Bitvector Data-Flow Analysis is a data-flow analysis method that uses bitvectors as abstract values to represent program properties, where each bit corresponds to a specific data-flow fact and enables efficient computation through bitwise operations.
7
Publications
394
Citations
12
Authors
6
Institutions
Publications per year
2017–2026
0
Parents
Publications
7
Incremental data flow analysis in a structured program editor
F. Kenneth Zadeck · 1984 · 106 citations · Full text
1–5 of 7
Authors
12
- FK
2
h-index
- FZ
1
h-index
- PS
1
h-index
- HV
1
h-index
- DM
1
h-index
1–5 of 12
Institutions
6
Indian Institute of Technology Bombay
Mumbai, India
1 h-index
2 publications
102 citations
IBM (United States)
Armonk, United States
1 h-index
1 publications
106 citations
Indian Institute of Science Bangalore
Bengaluru, India
1 h-index
3 publications
54 citations
TU Wien
Vienna, Austria
1 h-index
3 publications
42 citations
Universidade de São Paulo
São Paulo, Brazil
1 h-index
2 publications
34 citations
Analysis Group (United States)
Boston, United States
1 h-index
1 publications
17 citations
1–6 of 6
Venues
- ACM SIGPLAN Notices
2 publications · 41 citations
2
h-index
- Medical Entomology and Zoology
1 publications · 165 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 51 citations
1
h-index
1–3