{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:19Z","timestamp":1750307419544,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T00:00:00Z","timestamp":1284508800000},"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":[[2010,9,15]]},"DOI":"10.1145\/1852761.1852773","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"78-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Local redundant polymorphism query elimination"],"prefix":"10.1145","author":[{"given":"Rhodes H. F.","family":"Brown","sequence":"first","affiliation":[{"name":"University of Victoria"}]},{"given":"R. Nigel","family":"Horspool","sequence":"additional","affiliation":[{"name":"University of Victoria"}]}],"member":"320","published-online":{"date-parts":[[2010,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504291"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236371"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301643"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989453"},{"key":"e_1_3_2_1_8_1","series-title":"Object Technology Series","volume-title":"Object-Oriented Analysis and Design with Applications","author":"Booch G.","year":"2007","unstructured":"}} G. Booch , R. A. Maksimchuk , M. W. Engle , B. J. Young , J. Conallen , and K. A. Houston . Object-Oriented Analysis and Design with Applications . Object Technology Series . Addison-Wesley , Upper Saddle River, NJ, third edition, 2007 . ISBN 0-201-89551-X. }}G. Booch, R. A. Maksimchuk, M. W. Engle, B. J. Young, J. Conallen, and K. A. Houston. Object-Oriented Analysis and Design with Applications. Object Technology Series. Addison-Wesley, Upper Saddle River, NJ, third edition, 2007. ISBN 0-201-89551-X."},{"key":"e_1_3_2_1_9_1","first-page":"91","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO)","author":"Cai Q.","year":"2003","unstructured":"}} Q. Cai and J. Xue . Optimal and efficient speculation-based partial redundancy elimination . In Proceedings of the International Symposium on Code Generation and Optimization (CGO) , pages 91 -- 102 . IEEE Computer Society Press , Mar. 2003 . }}Q. Cai and J. Xue. Optimal and efficient speculation-based partial redundancy elimination. In Proceedings of the International Symposium on Code Generation and Optimization (CGO), pages 91--102. IEEE Computer Society Press, Mar. 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74884"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/773146.773049"},{"volume-title":"The DaCapo benchmark suite","year":"2009","key":"e_1_3_2_1_13_1","unstructured":"}}DaCapo Benchmark Suite. The DaCapo benchmark suite , 2009 . http:\/\/dacapobench.org visited 29-06-2009. }}DaCapo Benchmark Suite. The DaCapo benchmark suite, 2009. http:\/\/dacapobench.org visited 29-06-2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207119"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646156.679839"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800542"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236369"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949320"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718147"},{"key":"e_1_3_2_1_21_1","series-title":"Professional Computing Series","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"}} E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Professional Computing Series . Addison-Wesley , Reading, MA , 1995 . ISBN 0-201-63361-2. }}E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, MA, 1995. ISBN 0-201-63361-2."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297033"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679855"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/857172.857261"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679193"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/523995.857292"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11860990_22"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353191"},{"key":"e_1_3_2_1_29_1","unstructured":"}}Jikes RVM. Jikes RVM 2007. http:\/\/jikesrvm.org visited 29-06-2009.  }}Jikes RVM. Jikes RVM 2007. http:\/\/jikesrvm.org visited 29-06-2009."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1201\/9781420037425.ch4","volume-title":"Performance Evaluation and Benchmarking","author":"John L. K.","year":"2005","unstructured":"}} L. K. John . Performance Evaluation and Benchmarking , chapter 4: Aggregating Performance Metrics Over a Benchmark Suite, pages 47 -- 58 . CRC Press , Boca Raton, FL , 2005 . }}L. K. John. Performance Evaluation and Benchmarking, chapter 4: Aggregating Performance Metrics Over a Benchmark Suite, pages 47--58. CRC Press, Boca Raton, FL, 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.604"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207167208803056"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989439"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1022969.1022970"},{"key":"e_1_3_2_1_35_1","series-title":"International Series in Computer Science","volume-title":"Object-oriented Software Construction","author":"Meyer B.","year":"1988","unstructured":"}} B. Meyer . Object-oriented Software Construction . International Series in Computer Science . Prentice-Hall , New York, NY , 1988 . ISBN 0-13-629049-3. }}B. Meyer. Object-oriented Software Construction. International Series in Computer Science. Prentice-Hall, New York, NY, 1988. ISBN 0-13-629049-3."},{"key":"e_1_3_2_1_36_1","first-page":"213","volume-title":"Proceedings of the Australasian Conference on Computer Science","author":"Nguyen P. H.","year":"2004","unstructured":"}} P. H. Nguyen and J. Xue . Strength reduction for loop-invariant types . In Proceedings of the Australasian Conference on Computer Science , pages 213 -- 222 . Australian Computer Society, Inc. , 2004 . }}P. H. Nguyen and J. Xue. Strength reduction for loop-invariant types. In Proceedings of the Australasian Conference on Computer Science, pages 213--222. Australian Computer Society, Inc., 2004."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.32"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/304065.304106"},{"key":"e_1_3_2_1_40_1","first-page":"139","volume-title":"Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium (JVM)","author":"Qian F.","year":"2004","unstructured":"}} F. Qian and L. Hendren . Towards dynamic interprocedural analysis in JVMs . In Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium (JVM) , pages 139 -- 150 . USENIX Association , May 2004 . }}F. Qian and L. Hendren. Towards dynamic interprocedural analysis in JVMs. In Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium (JVM), pages 139--150. USENIX Association, May 2004."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31985-6_20"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.757106"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45209-6_38"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/997163.997195"},{"volume-title":"Sept.","year":"2008","key":"e_1_3_2_1_45_1","unstructured":"}}SPECjvm98. SPECjvm98 Java benchmarks , Sept. 2008 . http:\/\/www.spec.org\/jvm98\/visited 29-06-2009. }}SPECjvm98. SPECjvm98 Java benchmarks, Sept. 2008. http:\/\/www.spec.org\/jvm98\/visited 29-06-2009."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353189"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356077"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353190"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263728"}],"event":{"name":"PPPJ '10: Principles and Practice of Programming in Java","sponsor":["Technical University of Vienna","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Vienna Austria","acronym":"PPPJ '10"},"container-title":["Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1852761.1852773","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1852761.1852773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:41Z","timestamp":1750246781000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1852761.1852773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,15]]},"references-count":48,"alternative-id":["10.1145\/1852761.1852773","10.1145\/1852761"],"URL":"https:\/\/doi.org\/10.1145\/1852761.1852773","relation":{},"subject":[],"published":{"date-parts":[[2010,9,15]]},"assertion":[{"value":"2010-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}