{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:30Z","timestamp":1750221210015,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238226","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"340-350","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A unified lattice model and framework for purity analyses"],"prefix":"10.1145","author":[{"given":"Dominik","family":"Helm","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"K\u00fcbler","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Eichberg","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Reif","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Dotty documentation overview \u2013 Effect capabilities 2018. Retrieved 2018-04-21.  Dotty documentation overview \u2013 Effect capabilities 2018. Retrieved 2018-04-21."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0399"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236371"},{"key":"e_1_3_2_1_4_1","first-page":"253","volume-title":"CSFW","volume":"2","author":"Banerjee A.","year":"2002","unstructured":"A. Banerjee and D. A. Naumann . Secure information flow and pointer confinement in a Java-like language . In CSFW , volume 2 , page 253 , 2002 . A. Banerjee and D. A. Naumann. Secure information flow and pointer confinement in a Java-like language. In CSFW, volume 2, page 253, 2002."},{"key":"e_1_3_2_1_5_1","volume-title":"ECOOP workshop on Formal Techniques for Java-like Programs (FTfJP)","author":"Barnett M.","year":"2004","unstructured":"M. Barnett , D. A. Naumann , W. Schulte , and Q. Sun . 99.44% pure: Useful abstractions in specifications . In ECOOP workshop on Formal Techniques for Java-like Programs (FTfJP) , 2004 . M. Barnett, D. A. Naumann, W. Schulte, and Q. Sun. 99.44% pure: Useful abstractions in specifications. In ECOOP workshop on Formal Techniques for Java-like Programs (FTfJP), 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11766155_23"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566191"},{"key":"e_1_3_2_1_9_1","first-page":"291","volume-title":"Parallel Architectures and Compilation Techniques, 2001. Proceedings. 2001 International Conference on","author":"Cahoon B.","unstructured":"B. Cahoon and K. S. McKinley . Data flow analysis for software prefetching linked data structures in Java . In Parallel Architectures and Compilation Techniques, 2001. Proceedings. 2001 International Conference on , pages 280\u2013 291 . IEEE, 2001. B. Cahoon and K. S. McKinley. Data flow analysis for software prefetching linked data structures in Java. In Parallel Architectures and Compilation Techniques, 2001. Proceedings. 2001 International Conference on, pages 280\u2013291. IEEE, 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320386"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1031::AID-CPE354>3.0.CO;2-O"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.8.a4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_15_1","first-page":"351","volume-title":"FASE","volume":"4422","author":"Leino K. R. M.","unstructured":"\u00c1. Darvas and K. R. M. Leino . Practical reasoning about invocations and implementations of pure methods . In FASE , volume 4422 , pages 336\u2013 351 . Springer, 2007. \u00c1. Darvas and K. R. M. Leino. Practical reasoning about invocations and implementations of pure methods. In FASE, volume 4422, pages 336\u2013351. Springer, 2007."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.5.a3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2017.16.4.a1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214329"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236509"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455793"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502508.2502520"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647476.727631"},{"key":"e_1_3_2_1_23_1","volume-title":"Constancy analysis. Formal Techniques for Java-like Programs (FTfJP), page 100","author":"Genaim S.","year":"2008","unstructured":"S. Genaim and F. Spoto . Constancy analysis. Formal Techniques for Java-like Programs (FTfJP), page 100 , 2008 . S. Genaim and F. Spoto. Constancy analysis. Formal Techniques for Java-like Programs (FTfJP), page 100, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/347636.348916"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393640"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384680"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(95)00008-9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11406921_22"},{"key":"e_1_3_2_1_29_1","volume-title":"Design by contract with JML","author":"Leavens G. T.","year":"2006","unstructured":"G. T. Leavens and Y. Cheon . Design by contract with JML , 2006 . G. T. Leavens and Y. Cheon. Design by contract with JML, 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_15"},{"key":"e_1_3_2_1_33_1","volume-title":"Springer","author":"Pearce D.","year":"2011","unstructured":"D. Pearce . JPure : a modular purity system for Java. In Compiler construction, pages 104\u2013123 . Springer , 2011 . D. Pearce. JPure: a modular purity system for Java. In Compiler construction, pages 104\u2013123. Springer, 2011."},{"key":"e_1_3_2_1_34_1","first-page":"269","volume-title":"Analysis and Verification","author":"Potanin A.","unstructured":"A. Potanin , J. \u00d6stlund , Y. Zibin , and M. D. Ernst . Immutability . In Aliasing in Object-Oriented Programming. Types , Analysis and Verification , pages 233\u2013 269 . Springer, 2013. A. Potanin, J. \u00d6stlund, Y. Zibin, and M. D. Ernst. Immutability. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, pages 233\u2013269. Springer, 2013."},{"key":"e_1_3_2_1_35_1","first-page":"91","volume-title":"Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on","author":"Rountev A.","unstructured":"A. Rountev . Precise identification of side-effect-free methods in Java . In Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on , pages 82\u2013 91 . IEEE, 2004. A. Rountev. Precise identification of side-effect-free methods in Java. In Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on, pages 82\u201391. IEEE, 2004."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843043.2843354"},{"key":"e_1_3_2_1_38_1","volume-title":"A combined pointer and purity analysis for Java programs","author":"S\u0103lcianu A.","year":"2004","unstructured":"A. S\u0103lcianu and M. Rinard . A combined pointer and purity analysis for Java programs . 2004 . A. S\u0103lcianu and M. Rinard. A combined pointer and purity analysis for Java programs. 2004."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_14"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.46"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940097"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251548"},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. ICOOOLPS","author":"Zhao J.","year":"2008","unstructured":"J. Zhao , I. Rogers , C. Kirkham , and I. Watson . Pure method analysis within Jikes RVM . Proc. ICOOOLPS , 2008 . J. Zhao, I. Rogers, C. Kirkham, and I. Watson. Pure method analysis within Jikes RVM. Proc. ICOOOLPS, 2008."}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Montpellier France","acronym":"ASE '18"},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238226","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":41,"alternative-id":["10.1145\/3238147.3238226","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238226","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}