Ownership Types for Safe Programming: Preventing Data Races and Deadlocks (2002)

by Chandrasekhar Boyapati , Robert Lee , Martin Rinard
Venue: ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA), NOVEMBER 2002
Citations:305 - 13 self