Inference and Checking of Object Ownership.

Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst

Browse the full ECOOP paper archive.