DocumentCode
2003810
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
fYear
2009
fDate
16-24 May 2009
Firstpage
279
Lastpage
282
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSE-COMPANION.2009.5071001
Filename
5071001
Link To Document