Inference and Checking of Object Ownership Inference and Checking of Object Ownership Wei Huang1, Werner Dietl2, Ana Milanova1, Michael D. Ernst2 1Rensselaer Polytechnic…
Inference and Checking of Object Ownership Inference and Checking of Object Ownership Wei Huang1, Werner Dietl2, Ana Milanova1, Michael D. Ernst2 1Rensselaer Polytechnic…