| Title | Tools for enforcing and inferring reference immutability in Java |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Correa, Jr. TLuis, Quinonez J, Ernst MD |
| Conference Name | OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications |
| Pagination | 866–867 |
| Date or Month Published | October |
| Conference Location | Montreal, Canada |
| Abstract | Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a javac plug-in that enforces the Javari type system, and a type inference tool. The system is fully compatible with existing Java programs. |
| Downloads | https://types.cs.washington.edu/javari/ Javari implementation
https://homes.cs.washington.edu/~mernst/pubs/refimmut-tools-oopsla2007.pdf PDF
|
| Citation Key | CorreaQE2007 |
