159
Voted
ICSE
2009
IEEE-ACM
16 years 28 days ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...