TY  - RPRT
TI  - Dense Interprocedural Dominance in Acyclic Graphs: Context Bounds and Compact Queries
AU  - Peisen Yao
PY  - 2026
UR  - https://arxiv.org/abs/2609.27818
ID  - 2609.27818
ER  -