Tools for enforcing and inferring reference immutability in Java

13 years 10 months ago

Download www.cs.washington.edu

Accidental mutation is a major source of difﬁcult-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.

Real-time Traffic

Accidental Mutation | Javari Type System | OOPSLA 2007 | Type Inference Tool |

claim paper

» Inference of Reference Immutability

» Javari adding reference immutability to Java

» Ownership and Immutability Inference for UMLBased Object Access Control

» A practical type system and language for reference immutability

» TypeBased Object Immutability with Flexible Initialization

» Practical static analysis for inference of securityrelated program properties

» Ownership Uniqueness and Immutability

» jContractor A Reflective Java Library to Support Design by Contract

Post Info
More Details (n/a)

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)

Sciweavers

Tools for enforcing and inferring reference immutability in Java

Accidental Mutation | Javari Type System | OOPSLA 2007 | Type Inference Tool |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers