[ .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}
}

Back