![](/img/cover-not-exists.png)
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad RanganathVolume:
25
Language:
english
Pages:
42
DOI:
10.1023/b:form.0000040028.49845.67
Date:
September, 2004
File:
PDF, 324 KB
english, 2004