Static Datarace Analysis for Multithreaded Object-Oriented Programs

作者: Alexey Loginov , Jong-Deok Choi , Vivek Sarkar

DOI:

关键词: The InternetObject-oriented programmingIBMResearch centerWatsonProgramming languageLibrary sciencePaymentComputer science

摘要: : This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted publication. I issued as a Research Reporttfor early dissemination its contents. In view the transfer copyright to publisher, distribution prior should limited peer communications specific requests.After publication, requests filled only by reprints or legally obtained copies article (e.g. , payment royalties). Copies may requested from T. J. Watson Center P. O. Box 218,Yorktown Heights, NY 10598 USA (email: reports@us.ibm.com). Some reports are available on internet at http://domino.watson.ibm.com/library/CyberDig.nsf/home .

参考文章(0)