Tools for enforcing and inferring reference immutability in Java

TitleTools for enforcing and inferring reference immutability in Java
Publication TypeConference Paper
Year of Publication2007
AuthorsCorrea Jr. T L, Quinonez J, Ernst MD
Conference NameCompanion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007)
Date or Month PublishedOctober 23–25
Conference LocationMontré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>
DownloadsJavari implementation PDF
Citation KeyCorreaQE2007
Last changed Mon, 2013-06-03 10:27