Title :
Static ownership inference for reasoning against concurrency errors
Author :
Milanova, Ana ; Liu, Yin
Author_Institution :
Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY
Abstract :
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.
Keywords :
concurrency control; object-oriented programming; program diagnostics; reasoning about programs; concurrency error reasoning; object-oriented program; static ownership inference; Algorithm design and analysis; Application software; Computer errors; Computer science; Concurrent computing; Information analysis; Object detection; Software engineering; Software quality; Yarn;
Conference_Titel :
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3495-4
DOI :
10.1109/ICSE-COMPANION.2009.5071001
