TY  - RPRT
TI  - Papaya: Global Typestate Analysis of Aliased Objects Extended Version
AU  - Mathias Jakobsen
AU  - Alice Ravier
AU  - Ornela Dardha
PY  - 2021
UR  - https://arxiv.org/abs/2107.13101
ID  - 2107.13101
ER  -