A Parameterized Type System for Race-Free Java Programs (2001)

by Chandrasekhar Boyapati , Martin Rinard
Venue: ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA), OCTOBER 2001
Citations:196 - 22 self