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.