Tools for enforcing and inferring reference immutability in Java.

Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst

Browse the full OOPSLA paper archive.