Inference and Checking of Object Ownership Wei Huang 1, Werner Dietl 2, Ana Milanova 1, Michael D. Ernst 2 1 Rensselaer Polytechnic Institute 2 University.
Ownership and Immutability in Generic Java (OIGJ)
Javari: Adding Reference Immutability to Java Matthew Tschantz and Michael Ernst MIT CSAIL.
Inference and Checking of Object Ownership
ReIm & ReImInfer : Checking and Inference of Reference Immutability and Method Purity