{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:05Z","timestamp":1772163965859,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"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":[[2009,6,15]]},"DOI":"10.1145\/1542476.1542480","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"25-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["CEAL"],"prefix":"10.1145","author":[{"given":"Matthew A.","family":"Hammer","sequence":"first","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL, USA"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL, USA"}]},{"given":"Yan","family":"Chen","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"MLton. http:\/\/mlton.org\/.  MLton. http:\/\/mlton.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232638"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480946"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328476"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87744-8_3"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Algorithm Engineering and Experimentation","author":"Acar Umut A.","year":"2005","unstructured":"Umut A. Acar , Guy E. Blelloch , and Jorge L. Vittes . An experimental analysis of change propagation in dynamic trees . In Workshop on Algorithm Engineering and Experimentation , 2005 . Umut A. Acar, Guy E. Blelloch, and Jorge L. Vittes. An experimental analysis of change propagation in dynamic trees. In Workshop on Algorithm Engineering and Experimentation, 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"Compilers: principles, techniques, and tools","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D. Ullman . Compilers: principles, techniques, and tools . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1986 . Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/214448.214454"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/265943.265944"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/645413.757575"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581482"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.163409"},{"key":"e_1_3_2_1_14_1","unstructured":"Keith D. Cooper Timothy J. Harvey and Ken Kennedy. A simple fast dominance algorithm.  Keith D. Cooper Timothy J. Harvey and Ken Kennedy. A simple fast dominance algorithm."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567544"},{"key":"e_1_3_2_1_17_1","volume-title":"Algorithms and Theory of Handbook","author":"Eppstein David","year":"1999","unstructured":"David Eppstein , Zvi Galil , and Giuseppe F. Italiano . Dynamic graph algorithms . In Mikhail J. Atallah, editor, Algorithms and Theory of Handbook , chapter 8. CRC Press , 1999 . David Eppstein, Zvi Galil, and Giuseppe F. Italiano. Dynamic graph algorithms. In Mikhail J. Atallah, editor, Algorithms and Theory of Handbook, chapter 8. CRC Press, 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507639"},{"key":"e_1_3_2_1_19_1","first-page":"869","volume-title":"Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms","author":"Georgiadis Loukas","year":"2004","unstructured":"Loukas Georgiadis and Robert E. Tarjan . Finding dominators revisited: extended abstract . In Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms , pages 869 -- 878 , 2004 . Loukas Georgiadis and Robert E. Tarjan. Finding dominators revisited: extended abstract. In Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms, pages 869--878, 2004."},{"key":"e_1_3_2_1_20_1","volume-title":"USA","author":"Steele Jr.","year":"1978","unstructured":"Jr. Guy L. Steele . Rabbit : A compiler for scheme. Technical report, Cambridge, MA , USA , 1978 . Jr. Guy L. Steele. Rabbit: A compiler for scheme. Technical report, Cambridge, MA, USA, 1978."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375634.1375642"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647976.743227"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/202529.202532"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411249"},{"key":"e_1_3_2_1_28_1","first-page":"47","article-title":"Parallel tree contraction, part I","volume":"5","author":"Miller Gary L.","year":"1989","unstructured":"Gary L. Miller and John H. Reif . Parallel tree contraction, part I : Fundamentals Advances in Computing Research , 5 : 47 -- 72 , 1989 . Gary L. Miller and John H. Reif. Parallel tree contraction, part I: Fundamentals Advances in Computing Research, 5:47--72, 1989.","journal-title":"Fundamentals Advances in Computing Research"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/0220070"},{"key":"e_1_3_2_1_30_1","volume-title":"Advanced compiler design and implementation","author":"Muchnick Steven S.","year":"1997","unstructured":"Steven S. Muchnick . Advanced compiler design and implementation . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1997 . Steven S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1997."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90012-X"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75305"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250770"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/151333.151343"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003086"}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:56Z","timestamp":1750238996000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542480"}},"subtitle":["a C-based language for self-adjusting computation"],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":36,"alternative-id":["10.1145\/1542476.1542480","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542480","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542480","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}