Ownership types for safe programming

• 1 January 2002
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 37  (11) , 211-230
• https://doi.org/10.1145/582438.582440

Abstract

Keywords

• DATA RACES
• DEADLOCKS
• ENCAPSULATION
• OWNERSHIP TYPES