{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T19:10:26Z","timestamp":1742757026810,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288685"},{"type":"electronic","value":"9783642288692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_24","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"476-496","source":"Crossref","is-referenced-by-count":3,"title":["Non-monotonic Self-Adjusting Computation"],"prefix":"10.1007","author":[{"given":"Ruy","family":"Ley-Wild","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Blelloch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Acar, U.A., Blelloch, G.E., Blume, M., Tangwongsan, K.: An experimental analysis of self-adjusting computation. In: PLDI (2006)","DOI":"10.1145\/1133981.1133993"},{"issue":"6","key":"24_CR2","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1145\/1186632.1186634","volume":"28","author":"U.A. Acar","year":"2006","unstructured":"Acar, U.A., Blelloch, G.E., Harper, R.: Adaptive functional programming. ACM TOPLAS\u00a028(6), 990\u20131034 (2006)","journal-title":"ACM TOPLAS"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Acar, U.A., Blelloch, G.E., Tangwongsan, K., T\u00fcrko\u011flu, D.: Robust kinetic convex hulls in 3D. In: European Symposium on Algorithms (September 2008)","DOI":"10.1007\/978-3-540-87744-8_3"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Acar, U.A., Cotter, A., Hudson, B., T\u00fcrko\u011flu, D.: Dynamic well-spaced point sets. In: Symposium on Computational Geometry (2010)","DOI":"10.1145\/1810959.1811011"},{"key":"24_CR5","unstructured":"Acar, U.A., Ihler, A., Mettu, R., S\u00fcmer, \u00d6.: Adaptive Bayesian inference. In: Neural Information Processing Systems, NIPS (2007)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Carlsson, M.: Monads for incremental computing. In: ICFP (2002)","DOI":"10.1145\/581478.581482"},{"issue":"9","key":"24_CR7","doi-asserted-by":"publisher","first-page":"1412","DOI":"10.1109\/5.163409","volume":"80","author":"Y.-J. Chiang","year":"1992","unstructured":"Chiang, Y.-J., Tamassia, R.: Dynamic algorithms in computational geometry. Proceedings of the IEEE\u00a080(9), 1412\u20131434 (1992)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Demers, A., Reps, T., Teitelbaum, T.: Incremental evaluation of attribute grammars with application to syntax-directed editors. In: POPL (1981)","DOI":"10.1145\/567532.567544"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Eppstein, D., Galil, Z., Italiano, G.F.: Dynamic graph algorithms. In: Atallah, M.J. (ed.) Algorithms and Theory of Computation Handbook, ch.8, CRC Press (1999)","DOI":"10.1201\/9781420049503-c9"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Hammer, M.A., Acar, U.A., Chen, Y.: CEAL: a C-based language for self-adjusting computation. In: PLDI (2009)","DOI":"10.1145\/1542476.1542480"},{"key":"24_CR11","unstructured":"Ley-Wild, R.: Programmable Self-Adjusting Computation. PhD thesis, CSD, CMU (2010)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Ley-Wild, R., Acar, U.A., Fluet, M.: A cost semantics for self-adjusting computation. In: POPL (2009)","DOI":"10.1145\/1594834.1480907"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Ley-Wild, R., Fluet, M., Acar, U.A.: Compiling self-adjusting programs with continuations. In: ICFP (2008)","DOI":"10.1145\/1411204.1411249"},{"issue":"3","key":"24_CR14","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1145\/291889.291895","volume":"20","author":"Y.A. Liu","year":"1998","unstructured":"Liu, Y.A., Stoller, S., Teitelbaum, T.: Static caching for incremental computation. ACM TOPLAS\u00a020(3), 546\u2013585 (1998)","journal-title":"ACM TOPLAS"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D.: \u201cMemo\u201d functions and machine learning. Nature\u00a0218, 19\u201322 (1968)","journal-title":"Nature"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Pugh, W., Teitelbaum, T.: Incremental computation via function caching. In: POPL (1989)","DOI":"10.1145\/75277.75305"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Reps, T.: A categorized bibliography on incremental computation. In: POPL (1993)","DOI":"10.1145\/158511.158710"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Shankar, A., Bodik, R.: DITTO: Automatic incrementalization of data structure invariant checks (in Java). In: PLDI (2007)","DOI":"10.1145\/1250734.1250770"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:48:49Z","timestamp":1742755729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}