Javari: adding reference immutability to Java.

Matthew S. Tschantz, Michael D. Ernst

Browse the full OOPSLA paper archive.