Papaya: Global Typestate Analysis of Aliased Objects. - Mathias Jakobsen; Alice Ravier; Ornela Dardha (PPDP, 2021)

Papaya: Global Typestate Analysis of Aliased Objects Extended Version. - Mathias Jakobsen; Alice Ravier; Ornela Dardha (CoRR, 2021)