Type inference against races (2004)

by Cormac Flanagan, Stephen N Freund
Venue:In Static Analysis Symposium