Sciweavers

OOPSLA
2007
Springer

Tools for enforcing and inferring reference immutability in Java

14 years 5 months ago
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
Telmo Luis Correa Jr., Jaime Quinonez, Michael D.
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where OOPSLA
Authors Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst
Comments (0)