Tools for enforcing and inferring reference immutability in Java

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. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features—data types; F.3.1 [Logics and Meaning of Programs]: Specifying and

• Type: Conference
• Year: 2007
• Where: OOPSLA
• Authors: Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst
• Keywords: Accidental Mutation, Javari Type System, OOPSLA 2007, Type Inference Tool