×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [correctness of optimizations]
Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, …
220 views
Automatically Checking the Correctness of Program Analyses and Transformations
220 views
print( @Readonly Object x) { List< @NonNull String> lst; …
51 views