TY  - RPRT
TI  - Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision
AU  - Swati Jaiswal
AU  - Uday P. Khedker
AU  - Supratik Chakraborty
PY  - 2018
UR  - https://arxiv.org/abs/1802.00932
ID  - 1802.00932
ER  -