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:193 - 21 self