Papaya: Global Typestate Analysis of Aliased Objects Extended Version.

Mathias Jakobsen Alice Ravier Ornela Dardha

Published in: CoRR (2021)

Keyphrases

data analysis
quantitative analysis
database
databases
image processing
d objects
global information
real world objects