Conditional must not aliasing for static race detection

Συγγραφείς: Mayur Naik, Alex Aiken

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://xenon.stanford.edu/~mhn/pubs/popl07.ps.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification-- Reliability General Terms Experimentation, Reliability, Verification Keywords static race detection, Java, synchronization, concur-rency, multi-threading

Περιγραφή αρχείου: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.1046; http://xenon.stanford.edu/~mhn/pubs/popl07.ps

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.1046
http://xenon.stanford.edu/~mhn/pubs/popl07.ps