Sciweavers

ICSE
2009
IEEE-ACM
14 years 6 months ago
Static ownership inference for reasoning against concurrency errors
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...
Ana Milanova, Yin Liu