103
Voted
ECOOP
2011
Springer
13 years 12 months 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...