Abstract | ||
---|---|---|
We propose a new approach for reasoning about concur- rency 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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICSE-COMPANION.2009.5071001 | ICSE Companion |
Keywords | Field | DocType |
concurrency control,object-oriented programming,program diagnostics,reasoning about programs,concurrency error reasoning,object-oriented program,static ownership inference | Programming language,Object-oriented programming,Concurrency control,Inference,Concurrency,Computer science,Theoretical computer science,Concurrent computing,Software quality,Application software,Non-lock concurrency control | Conference |
ISSN | ISBN | Citations |
0270-5257 | 978-1-4244-3495-4 | 1 |
PageRank | References | Authors |
0.36 | 5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Milanova, A. | 1 | 4 | 1.31 |
Yin Liu | 2 | 174 | 9.07 |