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.

[ .pdf ]

@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}
}

This file was generated by bibtex2html 1.99.