Type qualifier inference for java

David Greenfieldboyce, Jeffrey S. Foster. Type qualifier inference for java. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 321-336, ACM, 2007. [doi]

@inproceedings{GreenfieldboyceF07,
  title = {Type qualifier inference for java},
  author = {David Greenfieldboyce and Jeffrey S. Foster},
  year = {2007},
  doi = {10.1145/1297027.1297051},
  url = {http://doi.acm.org/10.1145/1297027.1297051},
  tags = {type inference, Java},
  researchr = {https://researchr.org/publication/GreenfieldboyceF07},
  cites = {0},
  citedby = {0},
  pages = {321-336},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}