@misc{indiciaeac4e3a8aeff1,
  title = {Accelerated Data-Flow Analysis},
  author = {Jérôme Leroux and Gregoire Sutre},
  year = {2008},
  doi = {10.1007/978-3-540-74061-2\_12},
  url = {https://arxiv.org/abs/0812.2011},
  note = {Source identifier: 0812.2011}
}