Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst
Reim & ReImInfer: checking and inference of reference immutability and method purity
OOPSLA, 2012.
@inproceedings{OOPSLA-2012-HuangMDE, author = "Wei Huang and Ana Milanova and Werner Dietl and Michael D. Ernst", booktitle = "{Proceedings of the 27th Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/2384616.2384680", editor = "Gary T. Leavens and Matthew B. Dwyer", isbn = "978-1-4503-1561-6", pages = "879--896", publisher = "{ACM}", title = "{Reim & ReImInfer: checking and inference of reference immutability and method purity}", year = 2012, }