Documents Inference and Checking of Object Ownership Wei Huang 1, Werner Dietl 2, Ana Milanova 1, Michael D......

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

Documents Inference and Checking of Object Ownership

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