Reim & ReImInfer: checking and inference of reference immutability and method purity.

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

Browse the full OOPSLA paper archive.