%0 Conference Paper %1 conf/vmcai/SalcianuR05 %A Salcianu, Alexandru %A Rinard, Martin C. %B Verification, Model Checking, andVerification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Proceedings Abstract Interpretation, 6th International Conference, VMCAI 2005, Proceedings %D 2005 %E Cousot, Radhia %I Springer %K cites.ref state.unclassified %P 199-215 %T Purity and Side Effect Analysis for Java Programs. %U http://springerlink.metapress.com/content/hrgarn1y96eafh1p/ %V 3385 %@ 3-540-24297-X

@inproceedings{conf/vmcai/SalcianuR05, added-at = {2008-08-17T17:02:50.000+0200}, author = {Salcianu, Alexandru and Rinard, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/29ff8f1953677e0e8029399178e8bda35/msn}, booktitle = {Verification, Model Checking, andVerification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Proceedings Abstract Interpretation, 6th International Conference, VMCAI 2005, Proceedings}, crossref = {conf/vmcai/2005}, date = {2005-02-11}, description = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2005.html#SalcianuR05}, editor = {Cousot, Radhia}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=199}, interhash = {e6eab7efe73e34c0cae57af394d4a89a}, intrahash = {9ff8f1953677e0e8029399178e8bda35}, isbn = {3-540-24297-X}, keywords = {cites.ref state.unclassified}, pages = {199-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-06-25T15:59:18.000+0200}, title = {Purity and Side Effect Analysis for Java Programs.}, url = {http://springerlink.metapress.com/content/hrgarn1y96eafh1p/}, volume = 3385, year = 2005 }