Dynamic Inference of Polymorphic Lock Types. James Rose, Nikhil Swamy, and Michael Hicks. Science of Computer Programming, 2005. Special Issue: selected papers from ACM Conference on Principles of Distributed Computing (PODC) Workshop on Concurrency and Synchronization in Java Programs (CSJP), to appear. 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},
  YEAR = 2005,
  NOTE = {Special Issue: selected papers from {ACM} Conference on Principles of Distributed Computing (PODC) Workshop on Concurrency and Synchronization in Java Programs (CSJP), to appear.  Supercedes 2004 CSJP paper of the same name.},
  PUBLISHER = {Elsevier}
}

Back

This file has been generated by bibtex2html 1.69