@misc{indiciae146e6b446bee,
  title = {Program Analysis with Local Policy Iteration},
  author = {George Karpenkov and David Monniaux and Philipp Wendler},
  year = {2015},
  doi = {10.1007/978-3-662-49122-5\_6},
  url = {https://arxiv.org/abs/1509.03424},
  note = {Source identifier: 1509.03424}
}