%0 Conference Paper %1 conf/oopsla/HuangMDE12 %A Huang, Wei %A Milanova, Ana L. %A Dietl, Werner %A Ernst, Michael D. %B OOPSLA %D 2012 %E Leavens, Gary T. %E Dwyer, Matthew B. %I ACM %K dblp %P 879-896 %T Reim & ReImInfer: checking and inference of reference immutability and method purity. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#HuangMDE12 %@ 978-1-4503-1561-6

@inproceedings{conf/oopsla/HuangMDE12, added-at = {2022-03-24T00:00:00.000+0100}, author = {Huang, Wei and Milanova, Ana L. and Dietl, Werner and Ernst, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/2a4f7e98223e4e6a6a7dc63c203d7241b/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2012}, editor = {Leavens, Gary T. and Dwyer, Matthew B.}, ee = {https://doi.org/10.1145/2398857.2384680}, interhash = {43c90079080367548d64f7b3da89bc8a}, intrahash = {a4f7e98223e4e6a6a7dc63c203d7241b}, isbn = {978-1-4503-1561-6}, keywords = {dblp}, pages = {879-896}, publisher = {ACM}, timestamp = {2024-04-09T11:46:11.000+0200}, title = {Reim & ReImInfer: checking and inference of reference immutability and method purity.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#HuangMDE12}, year = 2012 }