Tools for enforcing and inferring reference immutability in Java

Authors:
Telmo Luis Correa, Jr.;Jaime Quinonez;Michael D. Ernst
Affiliations:
MIT, Cambridge, MA;MIT, Cambridge, MA;MIT, Cambridge, MA
Venue:
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Year:
2007

Citing 4
Cited 3

Data Flow Analysis for Software Prefetching Linked Data Structures in Java

Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques
A practical type system and language for reference immutability

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Javari: adding reference immutability to Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compile-time type-checking for custom type qualifiers in Java

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

Compile-time type-checking for custom type qualifiers in Java

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Compile-time type-checking for custom type qualifiers in Java

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Parameter reference immutability: formal definition, inference tool, and comparison

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.