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 analysis has important application in reasoning against concurrency errors.

• Type: Conference
• Year: 2009
• Where: ICSE
• Authors: Ana Milanova, Yin Liu
• Keywords: Concurrency Errors, ICSE 2009, Reasoning, Software Engineering, Static Ownership Inference