{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:51:43Z","timestamp":1773809503030,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"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":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454026","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Incremental whole-program analysis in Datalog with lattices"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9422-8142","authenticated-orcid":false,"given":"Tam\u00e1s","family":"Szab\u00f3","sequence":"first","affiliation":[{"name":"JGU Mainz, Germany \/ Workday, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1974-5956","authenticated-orcid":false,"given":"Sebastian","family":"Erdweg","sequence":"additional","affiliation":[{"name":"JGU Mainz, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2556-2582","authenticated-orcid":false,"given":"G\u00e1bor","family":"Bergmann","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Hungary \/ IncQuery Labs, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Deduction with Contradictions in Datalog. In International Conference on Database Theory","author":"Abiteboul Serge","year":"2014","unstructured":"Serge Abiteboul , Daniel Deutch , and Victor Vianu . 2014 . Deduction with Contradictions in Datalog. In International Conference on Database Theory . Athens, Greece. https:\/\/hal.inria.fr\/hal-00923265 Serge Abiteboul, Daniel Deutch, and Victor Vianu. 2014. Deduction with Contradictions in Datalog. In International Conference on Database Theory. Athens, Greece. https:\/\/hal.inria.fr\/hal-00923265"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2336664.2336670"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236500"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391230"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075089.2075132"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_27"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092705"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.27"},{"key":"e_1_3_2_1_15_1","first-page":"79","article-title":"Semi-Inflationary DATALOG","volume":"18","author":"Guzzo Antonella","year":"2005","unstructured":"Antonella Guzzo and Domenico Sacc\u00e0 . 2005 . Semi-Inflationary DATALOG : A Declarative Database Language with Procedural Features. AI Commun. , 18 , 2 (2005), April , 79 \u2013 92 . issn:0921-7126 http:\/\/dl.acm.org\/citation.cfm?id=1218852.1218854 Antonella Guzzo and Domenico Sacc\u00e0. 2005. Semi-Inflationary DATALOG: A Declarative Database Language with Procedural Features. AI Commun., 18, 2 (2005), April, 79\u201392. issn:0921-7126 http:\/\/dl.acm.org\/citation.cfm?id=1218852.1218854","journal-title":"A Declarative Database Language with Procedural Features. AI Commun."},{"key":"e_1_3_2_1_16_1","unstructured":"Nikolas G\u00f6bel. 2018. Incremental Datalog with Differential Dataflows. Retrieved 2019-10-11 from https:\/\/www.nikolasgoebel.com\/2018\/09\/13\/incremental-datalog.html  Nikolas G\u00f6bel. 2018. Incremental Datalog with Differential Dataflows. Retrieved 2019-10-11 from https:\/\/www.nikolasgoebel.com\/2018\/09\/13\/incremental-datalog.html"},{"key":"e_1_3_2_1_17_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . 2016 . Souffl\u00e9: On Synthesis of Program Analyzers . In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing , Cham . 422\u2013430. isbn:978-3-319-41540-6 Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham. 422\u2013430. isbn:978-3-319-41540-6"},{"key":"e_1_3_2_1_19_1","volume-title":"Cetus Users and Compiler Infastructure Workshop (CETUS","author":"Lam Patrick","year":"2011","unstructured":"Patrick Lam , Eric Bodden , Ondrej Lhot\u00e1k , and Laurie Hendren . 2011 . The Soot framework for Java program analysis: a retrospective . In Cetus Users and Compiler Infastructure Workshop (CETUS 2011). 15, 35. Patrick Lam, Eric Bodden, Ondrej Lhot\u00e1k, and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective. In Cetus Users and Compiler Infastructure Workshop (CETUS 2011). 15, 35."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213847"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_22_1","volume-title":"Rebecca Isaacs, and Michael Isard.","author":"McSherry Frank","year":"2013","unstructured":"Frank McSherry , Derek Gordon Murray , Rebecca Isaacs, and Michael Isard. 2013 . Differential Dataflow. In CIDR. Frank McSherry, Derek Gordon Murray, Rebecca Isaacs, and Michael Isard. 2013. Differential Dataflow. In CIDR."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2886521.2886537"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.12.004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196959.3196990"},{"key":"e_1_3_2_1_26_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"1999","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 1999 . Principles of program analysis. Springer . Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 1999. Principles of program analysis. Springer."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428195"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58766"},{"key":"e_1_3_2_1_29_1","unstructured":"Argyro A. Ritsogianni. 2019. Incremental Static Analysis with Differential Datalog.  Argyro A. Ritsogianni. 2019. Incremental Static Analysis with Differential Datalog."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/137097.137852"},{"key":"e_1_3_2_1_31_1","unstructured":"Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019 Philadelphia PA (USA) June 4-5 2019.. 56\u201367.  Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019 Philadelphia PA (USA) June 4-5 2019.. 56\u201367."},{"key":"e_1_3_2_1_32_1","volume-title":"Algorithms","author":"Sedgewick Robert","unstructured":"Robert Sedgewick and Kevin Wayne . 2011. Algorithms ( 4 th ed.). Addison-Wesley Professional . isbn:032157351X, 9780321573513 Robert Sedgewick and Kevin Wayne. 2011. Algorithms (4th ed.). Addison-Wesley Professional. isbn:032157351X, 9780321573513","edition":"4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.22"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276509"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970298"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.46"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2008.60"},{"key":"e_1_3_2_1_41_1","volume-title":"Incremental data flow analysis in a structured program editor","author":"Zadeck Frank Kenneth","unstructured":"Frank Kenneth Zadeck . 1984. Incremental data flow analysis in a structured program editor . 19, ACM. Frank Kenneth Zadeck. 1984. Incremental data flow analysis in a structured program editor. 19, ACM."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000436"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454026","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":41,"alternative-id":["10.1145\/3453483.3454026","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454026","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}