{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T12:40:47Z","timestamp":1790253647116,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"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":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297059","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"423-440","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Inferring aliasing and encapsulation properties for java"],"prefix":"10.1145","author":[{"given":"Kin-Keung","family":"Ma","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781146"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_3_1","first-page":"32","volume-title":"Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97","author":"Almeida P. S.","year":"1997","unstructured":"P. S. Almeida . Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 , pages 32 -- 59 , 1997 . P. S. Almeida. Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97, pages 32--59, 1997."},{"key":"e_1_3_2_1_4_1","volume-title":"The Java Programming Language","author":"Arnold K.","year":"2000","unstructured":"K. Arnold , J. Gosling , and D. Holmes . The Java Programming Language . Addison-Wesley , 3 rd edition, 2000 . K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley, 3rd edition, 2000.","edition":"3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604156"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040329"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759937.1759953"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296923"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504300"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134321"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143137"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996861"},{"key":"e_1_3_2_1_21_1","first-page":"279","volume-title":"Efficient Computation of Parametrized Pointer Information for Interprocedural Analyses. In SAS'01","author":"Liang D.","year":"2001","unstructured":"D. Liang and M. J. Harrold . Efficient Computation of Parametrized Pointer Information for Interprocedural Analyses. In SAS'01 , pages 279 -- 298 , 2001 . D. Liang and M. J. Harrold. Efficient Computation of Parametrized Pointer Information for Interprocedural Analyses. In SAS'01, pages 279--298, 2001."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.61"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_11"},{"key":"e_1_3_2_1_24_1","first-page":"158","volume-title":"Flexible Alias Protection. In ECOOP'98","author":"Noble J.","year":"1998","unstructured":"J. Noble , J. Vitek , and J. Potter . Flexible Alias Protection. In ECOOP'98 , pages 158 -- 185 , 1998 . J. Noble, J. Vitek, and J. Potter. Flexible Alias Protection. In ECOOP'98, pages 158--185, 1998."},{"key":"e_1_3_2_1_25_1","first-page":"20","volume-title":"Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. In CC'01","author":"Rountev A.","year":"2001","unstructured":"A. Rountev and B. G. Ryder . Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. In CC'01 , pages 20 -- 36 , 2001 . A. Rountev and B. G. Ryder. Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. In CC'01, pages 20--36, 2001."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/379539.379553"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224168"},{"key":"e_1_3_2_1_29_1","volume-title":"CASCON'99","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , P. Co , E. Gagnon , L. J. Hendren , P. Lam , and V. Sundaresan . Soot -a Java bytecode optimization framework . In CASCON'99 , 1999 . R. Vall\u00e9e-Rai, P. Co, E. Gagnon, L. J. Hendren, P. Lam, and V. Sundaresan. Soot -a Java bytecode optimization framework. In CASCON'99, 1999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.369"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/647229.719257"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297059","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":32,"alternative-id":["10.1145\/1297027.1297059","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297059","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297059","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}