Type Annotations in Java 8
Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, … .
JSR 308: Type Annotations Making Java annotations more general and more useful Spec leads: Michael Ernst & Alex Buckley Implementation lead: Werner Dietl.
Detecting and preventing bugs with pluggable type-checking
print( @Readonly Object x) { List< @NonNull String> lst; …
JSR 308: Type Annotations Making Java annotations more general and more useful