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

by Chandrasekhar Boyapati , Robert Lee , Martin Rinard
Citations:303 - 12 self