119
Voted
ECOOP
2011
Springer
14 years 27 days ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...