@misc{indiciae4ea7f5aa5fca,
  title = {Papaya: Global Typestate Analysis of Aliased Objects Extended Version},
  author = {Mathias Jakobsen and Alice Ravier and Ornela Dardha},
  year = {2021},
  url = {https://arxiv.org/abs/2107.13101},
  note = {Source identifier: 2107.13101}
}