Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Dynamic Inference of Polymorphic Lock Types.
James Rose, Nikhil Swamy, and Michael Hicks.
Science of Computer Programming (SCP), 58(3):366-383, December
2005.
Special Issue on Concurrency and Synchronization in Java programs.
Supercedes 2004 CSJP paper of the same name.
@ARTICLE{rose05scp,
AUTHOR = {James Rose and Nikhil Swamy and Michael Hicks},
TITLE = {Dynamic Inference of Polymorphic Lock Types},
JOURNAL = {Science of Computer Programming (SCP)},
VOLUME = 58,
NUMBER = 3,
PAGES = {366--383},
MONTH = {December},
YEAR = 2005,
NOTE = {Special Issue on Concurrency and Synchronization in Java programs. Supercedes 2004 CSJP paper of the same name.},
PUBLISHER = {Elsevier}
}