Preventing bugs with pluggable type checking Michael Ernst and Mahmood Ali University of Washington and MIT OOPSLA 2009 tutorial print(@Readonly Object.
Detecting and preventing bugs with pluggable type-checking
Preventing bugs with pluggable type checking