Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, … .
print( @Readonly Object x) { List< @NonNull String> lst; …
Automatically Checking the Correctness of Program Analyses and Transformations.
