{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:40:07Z","timestamp":1730324407985,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,18]]},"DOI":"10.1145\/3486603.3486779","type":"proceedings-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T18:34:11Z","timestamp":1634322851000},"page":"51-60","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Differential-FORMULA: towards a semantic backplane for incremental modeling"],"prefix":"10.1145","author":[{"given":"Qishen","family":"Zhang","sequence":"first","affiliation":[{"name":"Vanderbilt University, USA"}]},{"given":"Daniel","family":"Balasubramanian","sequence":"additional","affiliation":[{"name":"Vanderbilt University, USA"}]},{"given":"Tamas","family":"Kecskes","sequence":"additional","affiliation":[{"name":"Vanderbilt University, USA"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Vanderbilt University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462184"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658982.2527286"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICLP.2011.73"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0315-y"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39721-9_4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2023011.2023014"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of MODELS 2017 Satellite Event: Workshops (CEUR Workshop Proceedings","volume":"285","author":"Kecsk\u00e9s Tam\u00e1s","year":"2017"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/3271463"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 8th Workshop on Multi-Paradigm Modeling (CEUR Workshop Proceedings","volume":"60","author":"Mar\u00f3ti Mikl\u00f3s","year":"2014"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_12_1","unstructured":"Leonid Ryzhyk and Mihai Budiu. 2019. Differential datalog. 56\u201367. issn:16130073 http:\/\/ceur-ws.org\/Vol-2368\/paper6.pdf Leonid Ryzhyk and Mihai Budiu. 2019. Differential datalog. 56\u201367. issn:16130073 http:\/\/ceur-ws.org\/Vol-2368\/paper6.pdf"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276509"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2838530"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54848-2_16"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747922"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1290549.1298774"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486603.3486779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T11:02:28Z","timestamp":1673089348000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486603.3486779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,18]]},"references-count":18,"alternative-id":["10.1145\/3486603.3486779","10.1145\/3486603"],"URL":"https:\/\/doi.org\/10.1145\/3486603.3486779","relation":{},"subject":[],"published":{"date-parts":[[2021,10,18]]},"assertion":[{"value":"2021-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}