{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:26Z","timestamp":1775873666396,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T00:00:00Z","timestamp":1472083200000},"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":[[2016,8,25]]},"DOI":"10.1145\/2970276.2970298","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"320-331","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["IncA: a DSL for the definition of incremental program analyses"],"prefix":"10.1145","author":[{"given":"Tam\u00e1s","family":"Szab\u00f3","sequence":"first","affiliation":[{"name":"itemis, Germany \/ Delft University of Technology, Netherlands"}]},{"given":"Sebastian","family":"Erdweg","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}]},{"given":"Markus","family":"Voelter","sequence":"additional","affiliation":[{"name":"itemis, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"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.1007\/978-3-642-00434-6_17"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760270"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.03.009"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502898"},{"key":"e_1_3_2_1_8_1","first-page":"101","volume-title":"Eco: A Language Composition Editor","author":"Diekmann L.","year":"2014","unstructured":"Diekmann , L. , and Tratt , L . Eco: A Language Composition Editor . In Software Language Engineering: 7th International Conference, SLE 2014 , V\u00e4ster\u02da as, Sweden, September 15-16, 2014. Proceedings, B. Combemale, D. J. Pearce, O. Barais, and J. J. Vinju, Eds. Springer International Publishing , Cham, 2014, pp. 82\u2013 101 . Diekmann, L., and Tratt, L. Eco: A Language Composition Editor. In Software Language Engineering: 7th International Conference, SLE 2014, V\u00e4ster\u02da as, Sweden, September 15-16, 2014. Proceedings, B. Combemale, D. J. Pearce, O. Barais, and J. J. Vinju, Eds. Springer International Publishing, Cham, 2014, pp. 82\u2013101."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814307"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/648290.754351"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530820"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814277"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_15"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594324"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349216"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Hills M.\n  Streamlining Control Flow Graph Construction with DCFlow\n  . In Software Language Engineering B. Combemale D. Pearce O. Barais and J. Vinju Eds. vol. \n  8706\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer International Publishing 2014 pp. 322\u2013\n  341\n  .  Hills M. Streamlining Control Flow Graph Construction with DCFlow. In Software Language Engineering B. Combemale D. Pearce O. Barais and J. Vinju Eds. vol. 8706 of Lecture Notes in Computer Science. Springer International Publishing 2014 pp. 322\u2013341.","DOI":"10.1007\/978-3-319-11245-9_18"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_21_1","volume-title":"Descriptive complexity","author":"Immerman N.","year":"2012","unstructured":"Immerman , N. Descriptive complexity . Springer Science & amp; Business Media, 2012 . Immerman, N. Descriptive complexity. Springer Science & Business Media, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660242"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58766"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647165.717845"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Rensink A.\n  Representing First-Order Logic Using Graphs\n  . In Graph Transformations H. Ehrig G. Engels F. Parisi-Presicce and G. Rozenberg Eds. vol. \n  3256\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer Berlin Heidelberg 2004 pp. 319\u2013\n  335\n  .  Rensink A. Representing First-Order Logic Using Graphs. In Graph Transformations H. Ehrig G. Engels F. Parisi-Presicce and G. Rozenberg Eds. vol. 3256 of Lecture Notes in Computer Science. Springer Berlin Heidelberg 2004 pp. 319\u2013335.","DOI":"10.1007\/978-3-540-30203-2_23"},{"key":"e_1_3_2_1_29_1","first-page":"196","volume-title":"Ed. Springer US","author":"Reps T. W.","year":"1995","unstructured":"Reps , T. W. Demand interprocedural program analysis using logic databases. In Applications of Logic Databases, R. Ramakrishnan , Ed. Springer US , Boston, MA , 1995 , pp. 163\u2013 196 . Reps, T. W. Demand interprocedural program analysis using logic databases. In Applications of Logic Databases, R. Ramakrishnan, Ed. Springer US, Boston, MA, 1995, pp. 163\u2013196."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/278918"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069785"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.02.002"},{"key":"e_1_3_2_1_35_1","unstructured":"Special section on Language Descriptions Tools and Applications (LDTA\u201908 & \u201909) & Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011).  Special section on Language Descriptions Tools and Applications (LDTA\u201908 & \u201909) & Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814276"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0120-4"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Voelter M. Siegmund J. Berger T. and \n      Kolb B.\n      Towards User-Friendly Projectional\n     Editors. In Software Language Engineering B. \n      Combemale D.\n      Pearce O.\n      Barais and \n      J.\n      Vinju Eds. vol. \n  8706\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer International Publishing 2014 pp. 41\u2013\n  61\n  .  Voelter M. Siegmund J. Berger T. and Kolb B. Towards User-Friendly Projectional Editors. In Software Language Engineering B. Combemale D. Pearce O. Barais and J. Vinju Eds. vol. 8706 of Lecture Notes in Computer Science. Springer International Publishing 2014 pp. 41\u201361.","DOI":"10.1007\/978-3-319-11245-9_3"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Wachsmuth G. Konat G. Vergu V. Groenewegen D. and \n      Visser E\n  . \n  A Language Independent Task Engine for Incremental Name and Type Analysis\n  . In Software Language Engineering M. Erwig R. Paige and E. Van Wyk Eds. vol. \n  8225\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer International Publishing 2013 pp. 260\u2013\n  280\n  .  Wachsmuth G. Konat G. Vergu V. Groenewegen D. and Visser E. A Language Independent Task Engine for Incremental Name and Type Analysis. In Software Language Engineering M. Erwig R. Paige and E. Van Wyk Eds. vol. 8225 of Lecture Notes in Computer Science. Springer International Publishing 2013 pp. 260\u2013280.","DOI":"10.1007\/978-3-319-02654-1_15"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","location":"Singapore Singapore","acronym":"ASE'16","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:00Z","timestamp":1750218600000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":40,"alternative-id":["10.1145\/2970276.2970298","10.1145\/2970276"],"URL":"https:\/\/doi.org\/10.1145\/2970276.2970298","relation":{},"subject":[],"published":{"date-parts":[[2016,8,25]]},"assertion":[{"value":"2016-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}