{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:03Z","timestamp":1750220703099,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T00:00:00Z","timestamp":1571529600000},"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":[[2019,10,20]]},"DOI":"10.1145\/3357766.3359534","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"197-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Generating incremental type services"],"prefix":"10.1145","author":[{"given":"Andr\u00e9","family":"Pacak","sequence":"first","affiliation":[{"name":"Johannes Gutenberg University Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Erdweg","sequence":"additional","affiliation":[{"name":"Johannes Gutenberg University Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Sebastian Erdweg Oliver Bracevac Edlira Kuci Matthias Krebs and Mira Mezini. 2015. A co-contextual formulation of type rules and its application to incremental type checking. In OOPSLA. ACM 880\u2013897.  Sebastian Erdweg Oliver Bracevac Edlira Kuci Matthias Krebs and Mira Mezini. 2015. A co-contextual formulation of type rules and its application to incremental type checking. In OOPSLA. ACM 880\u2013897.","DOI":"10.1145\/2858965.2814277"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ronald Garcia Alison M. Clark and \u00c9ric Tanter. 2016. Abstracting gradual typing. In POPL. ACM 429\u2013442.  Ronald Garcia Alison M. Clark and \u00c9ric Tanter. 2016. Abstracting gradual typing. In POPL. ACM 429\u2013442.","DOI":"10.1145\/2914770.2837670"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_5_1","volume-title":"Reference Attributed Grammars. Informatica (Slovenia) 24, 3","author":"Hedin G\u00f6rel","year":"2000","unstructured":"G\u00f6rel Hedin . 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 ( 2000 ). G\u00f6rel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 (2000)."},{"key":"e_1_3_2_1_6_1","volume-title":"ECOOP (LIPIcs)","volume":"74","author":"Kuci Edlira","year":"2017","unstructured":"Edlira Kuci , Sebastian Erdweg , Oliver Bracevac , Andi Bejleri , and Mira Mezini . 2017 . A Co-contextual Type Checker for Featherweight Java . In ECOOP (LIPIcs) , Vol. 74 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 18:1\u201318:26. Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, and Mira Mezini. 2017. A Co-contextual Type Checker for Featherweight Java. In ECOOP (LIPIcs), Vol. 74. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 18:1\u201318:26."},{"key":"e_1_3_2_1_7_1","volume-title":"Turner","author":"Pierce Benjamin C.","year":"1998","unstructured":"Benjamin C. Pierce and David N . Turner . 1998 . Local Type Inference. In POPL. ACM , 252\u2013265. Benjamin C. Pierce and David N. Turner. 1998. Local Type Inference. In POPL. ACM, 252\u2013265."},{"key":"e_1_3_2_1_8_1","volume-title":"Ross and Yehoshua Sagiv","author":"Kenneth","year":"1992","unstructured":"Kenneth A. Ross and Yehoshua Sagiv . 1992 . Monotonic Aggregation in Deductive Databases. In PODS. ACM Press , 114\u2013126. Kenneth A. Ross and Yehoshua Sagiv. 1992. Monotonic Aggregation in Deductive Databases. In PODS. ACM Press, 114\u2013126."},{"volume-title":"Contributions to the Construction of Extensible Semantic Editors","author":"S\u00f6derberg Emma","key":"e_1_3_2_1_9_1","unstructured":"Emma S\u00f6derberg . 2012. Contributions to the Construction of Extensible Semantic Editors . Ph.D. Dissertation. Lund University . Emma S\u00f6derberg. 2012. Contributions to the Construction of Extensible Semantic Editors . Ph.D. Dissertation. Lund University."},{"key":"e_1_3_2_1_10_1","volume-title":"OOPSLA","author":"Szab\u00f3 Tam\u00e1s","year":"2018","unstructured":"Tam\u00e1s Szab\u00f3 , G\u00e1bor Bergmann , Sebastian Erdweg , and Markus Voelter . 2018. Incrementalizing lattice-based program analyses in Datalog. PACMPL 2 , OOPSLA ( 2018 ), 139:1\u2013139:29. Tam\u00e1s Szab\u00f3, G\u00e1bor Bergmann, Sebastian Erdweg, and Markus Voelter. 2018. Incrementalizing lattice-based program analyses in Datalog. PACMPL 2, OOPSLA (2018), 139:1\u2013139:29."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Tam\u00e1s Szab\u00f3 Sebastian Erdweg and Markus Voelter. 2016. IncA: a DSL for the definition of incremental program analyses. In ASE. ACM 320\u2013331.  Tam\u00e1s Szab\u00f3 Sebastian Erdweg and Markus Voelter. 2016. IncA: a DSL for the definition of incremental program analyses. In ASE. ACM 320\u2013331.","DOI":"10.1145\/2970276.2970298"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276484"},{"volume-title":"SLE (Lecture Notes in Computer Science)","author":"Wachsmuth Guido","key":"e_1_3_2_1_13_1","unstructured":"Guido Wachsmuth , Gabri\u00ebl D. P. Konat , Vlad A. Vergu , Danny M. Groenewegen , and Eelco Visser . 2013. A Language Independent Task Engine for Incremental Name and Type Analysis . In SLE (Lecture Notes in Computer Science) , Vol. 8225 . Springer , 260\u2013280. Guido Wachsmuth, Gabri\u00ebl D. P. Konat, Vlad A. Vergu, Danny M. Groenewegen, and Eelco Visser. 2013. A Language Independent Task Engine for Incremental Name and Type Analysis. In SLE (Lecture Notes in Computer Science) , Vol. 8225. Springer, 260\u2013280."}],"event":{"name":"SLE '19: 12th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SLE '19"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359534","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357766.3359534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:57Z","timestamp":1750199577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357766.3359534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,20]]},"references-count":13,"alternative-id":["10.1145\/3357766.3359534","10.1145\/3357766"],"URL":"https:\/\/doi.org\/10.1145\/3357766.3359534","relation":{},"subject":[],"published":{"date-parts":[[2019,10,20]]},"assertion":[{"value":"2019-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}