{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:58Z","timestamp":1775873698215,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"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":[[2008,1,7]]},"DOI":"10.1145\/1328438.1328476","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T09:45:40Z","timestamp":1199699140000},"page":"309-322","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Imperative self-adjusting computation"],"prefix":"10.1145","author":[{"given":"Umut A.","family":"Acar","sequence":"first","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amal","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Blume","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232638"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604133"},{"key":"e_1_3_2_1_3_1","volume-title":"ACM-SIAM Symposium on Discrete Algorithms (SODA)","author":"Acar Umut A.","year":"2004","unstructured":"Umut A. Acar , Guy E. Blelloch , Robert Harper , Jorge L. Vittes , and Maverick Woo . Dynamizing static algorithms with applications to dynamic trees and history independence . In ACM-SIAM Symposium on Discrete Algorithms (SODA) , 2004 . Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, and Maverick Woo. Dynamizing static algorithms with applications to dynamic trees and history independence. In ACM-SIAM Symposium on Discrete Algorithms (SODA), 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.043"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133993"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186634"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841036_57"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762216"},{"key":"e_1_3_2_1_10_1","volume-title":"Neural Information Systems (NIPS)","author":"Acar Umut A.","year":"2007","unstructured":"Umut A. Acar , Alexander Ihler , Ramgopal Mettu , and Ozgur Sumer . Adaptive bayesian inference . In Neural Information Systems (NIPS) , 2007 . Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Ozgur Sumer. Adaptive bayesian inference. In Neural Information Systems (NIPS), 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086376"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/504709.504712"},{"key":"e_1_3_2_1_14_1","volume-title":"Dynamic Programming","author":"Bellman Richard","year":"1957","unstructured":"Richard Bellman . Dynamic Programming . Princeton University Press , 1957 . Richard Bellman. Dynamic Programming. Princeton University Press, 1957."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11417170_8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581482"},{"key":"e_1_3_2_1_18_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","year":"1990","unstructured":"Thomas H. Cormen , Charles E. Leiserson , and Ronald L. Rivest . Introduction to Algorithms . MIT Press\/McGraw-Hill , 1990 . Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press\/McGraw-Hill, 1990."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567544"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28434"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90034-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91679"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349341"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111050"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291895"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1038\/218019a0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/210346.210425"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244798"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788828"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Andrew M.\n      Pitts\n     and \n      Ian D. B.\n      Stark\n  . \n  Observable properties of higher order functions that dynamically create local names or: What's new? In Mathematical Foundations of Computer Science volume \n  711\n   of \n  LNCS pages \n  122\n  --\n  141\n  . \n  Springer-Verlag 1993\n  .   Andrew M. Pitts and Ian D. B. Stark. Observable properties of higher order functions that dynamically create local names or: What's new? In Mathematical Foundations of Computer Science volume 711 of LNCS pages 122--141. Springer-Verlag 1993.","DOI":"10.1007\/3-540-57182-5_8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75305"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582172"},{"key":"e_1_3_2_1_37_1","volume-title":"IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","author":"Santambrogio Marco D","year":"2007","unstructured":"Marco D Santambrogio , Vincenzo Rana , Seda Ogrenci Memik , Umut A. Acar , and Donatella Sciuto . A novel SoC design methodology for combined adaptive software descripton and reconfigurable hardware . In IEEE\/ACM International Conference on Computer Aided Design (ICCAD) , 2007 . Marco D Santambrogio, Vincenzo Rana, Seda Ogrenci Memik, Umut A. Acar, and Donatella Sciuto. A novel SoC design methodology for combined adaptive software descripton and reconfigurable hardware. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD), 2007."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250770"},{"key":"e_1_3_2_1_39_1","volume-title":"ACM SIGPLAN Workshop on State in Programming Languages","author":"Sieber Kurt","year":"1993","unstructured":"Kurt Sieber . New steps towards full abstraction for local variables . In ACM SIGPLAN Workshop on State in Programming Languages , 1993 . Kurt Sieber. New steps towards full abstraction for local variables. In ACM SIGPLAN Workshop on State in Programming Languages, 1993."},{"key":"e_1_3_2_1_40_1","volume-title":"Names and Higher-Order Functions. Ph. D. dissertation","author":"Stark Ian D. B.","year":"1994","unstructured":"Ian D. B. Stark . Names and Higher-Order Functions. Ph. D. dissertation , University of Cambridge , Cambridge, England , December 1994 . Ian D. B. Stark. Names and Higher-Order Functions. Ph. D. dissertation, University of Cambridge, Cambridge, England, December 1994."},{"key":"e_1_3_2_1_41_1","first-page":"1","volume-title":"Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages (POPL)","author":"Sundaresh R. S.","year":"1991","unstructured":"R. S. Sundaresh and Paul Hudak . Incremental compilation via partial evaluation . In Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages (POPL) , pages 1 -- 13 , 1991 . R. S. Sundaresh and Paul Hudak. Incremental compilation via partial evaluation. In Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 1--13, 1991."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103137"}],"event":{"name":"POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Francisco California USA","acronym":"POPL08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328476","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328438.1328476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:07Z","timestamp":1750240567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":40,"alternative-id":["10.1145\/1328438.1328476","10.1145\/1328438"],"URL":"https:\/\/doi.org\/10.1145\/1328438.1328476","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1328897.1328476","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}