Tools for enforcing and inferring reference immutability in Java
Submitted by mernst on Wed, 2011-11-30 14:35
| Title | Tools for enforcing and inferring reference immutability in Java |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Correa Jr. T L, Quinonez J, Ernst MD |
| Conference Name | Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007) |
| Date or Month Published | October 23–25 |
| Conference Location | Montréal, Canada |
| Abstract | <p>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.</p> |
| Downloads | Javari implementation PDF |
| Citation Key | CorreaQE2007 |
Last changed Mon, 2013-06-03 10:27

cs.