@misc{indiciae4802655b2246, title = {On the computational complexity of Data Flow Analysis}, author = {Gaurav Sood and K. Murali Krishnan}, year = {2013}, doi = {10.1016/j.tcs.2021.06.019}, url = {https://arxiv.org/abs/1303.4315}, note = {Source identifier: 1303.4315} }