Type inference for parameterized race-free Java (2004)

by Rahul Agarwal , Scott D. Stoller
Venue:In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation
Citations:52 - 6 self