{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:22Z","timestamp":1772164102710,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["STE 906\/5-1"],"award-info":[{"award-number":["STE 906\/5-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,19]]},"DOI":"10.1145\/2983990.2984007","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T11:58:54Z","timestamp":1476964734000},"page":"711-730","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Computing repair alternatives for malformed programs using constraint attribute grammars"],"prefix":"10.1145","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Hagemann","sequence":"additional","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastian","family":"Ulke","sequence":"additional","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082036.1082042"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882375"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(85)90015-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"e_1_3_2_1_9_1","volume-title":"The Addison-Wesley signature series","author":"Fowler M.","year":"2011","unstructured":"M. Fowler . Domain-Specific Languages . The Addison-Wesley signature series . Addison-Wesley , 2011 . ISBN 978-0-321- 71294-3. M. Fowler. Domain-Specific Languages. The Addison-Wesley signature series. Addison-Wesley, 2011. ISBN 978-0-321- 71294-3."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/199261"},{"key":"e_1_3_2_1_11_1","first-page":"188","volume-title":"TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr\u00fccken, Germany, March 26-April 3, 2011. Proceedings","author":"Gopinath D.","year":"2011","unstructured":"D. Gopinath , M. Z. Malik , and S. Khurshid . Specificationbased program repair using SAT. In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference , TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr\u00fccken, Germany, March 26-April 3, 2011. Proceedings , pages 173\u2013 188 , 2011 . D. Gopinath, M. Z. Malik, and S. Khurshid. Specificationbased program repair using SAT. In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr\u00fccken, Germany, March 26-April 3, 2011. Proceedings, pages 173\u2013188, 2011."},{"key":"e_1_3_2_1_12_1","first-page":"83","author":"Gosling J.","year":"1983","unstructured":"J. Gosling . Algebraic Constraints . Ph D thesis, Department of Computer Science , Carngeie-Mellon University , 1983 . CMUCS- 83 - 132 . J. Gosling. Algebraic Constraints. PhD thesis, Department of Computer Science, Carngeie-Mellon University, 1983. CMUCS-83-132.","journal-title":"Carngeie-Mellon University"},{"key":"e_1_3_2_1_13_1","first-page":"93","volume-title":"IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence","author":"Gottlob G.","year":"2007","unstructured":"G. Gottlob , G. Greco , and T. Mancini . Conditional constraint satisfaction: Logical foundations and complexity . In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence , Hyderabad, India , January 6-12, 2007 , pages 88\u2013 93 , 2007. G. Gottlob, G. Greco, and T. Mancini. Conditional constraint satisfaction: Logical foundations and complexity. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pages 88\u201393, 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"Reference attributed grammars. Informatica (Slovenia), 24(3)","author":"Hedin G.","year":"2000","unstructured":"G. Hedin . Reference attributed grammars. Informatica (Slovenia), 24(3) , 2000 . G. Hedin. Reference attributed grammars. Informatica (Slovenia), 24(3), 2000."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"e_1_3_2_1_16_1","volume-title":"Constraint-based local search","author":"Hentenryck P. V.","year":"2005","unstructured":"P. V. Hentenryck and L. Michel . Constraint-based local search . MIT Press , 2005 . ISBN 978-0-262-22077-4. P. V. Hentenryck and L. Michel. Constraint-based local search. MIT Press, 2005. ISBN 978-0-262-22077-4."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814291"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/647326.721680"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_20_1","unstructured":"Linda DeMichiel. JSR 317: Java Persistence API Version 2.0. JSR Specification online at https:\/\/jcp.org\/en\/jsr\/detail?id=317. Linda DeMichiel. JSR 317: Java Persistence API Version 2.0. JSR Specification online at https:\/\/jcp.org\/en\/jsr\/detail?id=317."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667048.1667049"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384665"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776871"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486890"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/174517"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351707"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337257"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.13"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1109\/TSE.2012.13. doi: 10.1109\/TSE.2012.13.","DOI":"10.2217\/pgs.12.106"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0314-z"},{"key":"e_1_3_2_1_31_1","series-title":"Lecture Notes in Computer Science","volume-title":"Grand and Timely Topics in Software Engineering V","author":"Steimann F.","year":"2015","unstructured":"F. Steimann . Refactoring and beyond . In R. L\u00e4mmel, J. Saraiva, and J. Visser, editors, Grand and Timely Topics in Software Engineering V , International Summer School, GTTSE 2015 , Braga, Portugal, July, 2015. Revised Papers, Lecture Notes in Computer Science . Springer , 2017. In preparation. F. Steimann. Refactoring and beyond. In R. L\u00e4mmel, J. Saraiva, and J. Visser, editors, Grand and Timely Topics in Software Engineering V, International Summer School, GTTSE 2015, Braga, Portugal, July, 2015. Revised Papers, Lecture Notes in Computer Science. Springer, 2017. In preparation."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/978-3-642-41533-3_2. doi: 10.1007\/978-3-642-41533-3_2.","DOI":"10.1007\/978-3-642-41533-3_2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_24"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032516"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961204.1961205"},{"key":"e_1_3_2_1_37_1","unstructured":"1961205. 1961205."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM\/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013","author":"Ulke B.","year":"2013","unstructured":"B. Ulke and F. Steimann . OCL as a constraint generation language . In Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM\/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013 ), Miami, USA , September 30, 2013 . B. Ulke and F. Steimann. OCL as a constraint generation language. In Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM\/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"pages 93\u2013102 2013. pages 93\u2013102 2013.","DOI":"10.58680\/ej201324049"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847543"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5192-7","volume-title":"Compiler Construction. Texts and Monographs in Computer Science","author":"Waite W. M.","year":"1984","unstructured":"W. M. Waite and G. Goos . Compiler Construction. Texts and Monographs in Computer Science . Springer , 1984 . ISBN 978-1-4612-9731-4. doi: 10.1007\/978-1-4612-5192-7. W. M. Waite and G. Goos. Compiler Construction. Texts and Monographs in Computer Science. Springer, 1984. ISBN 978-1-4612-9731-4. doi: 10.1007\/978-1-4612-5192-7."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.2.142"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/67449.67513"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/180171.180174"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984007","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:52Z","timestamp":1750203592000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":44,"alternative-id":["10.1145\/2983990.2984007","10.1145\/2983990"],"URL":"https:\/\/doi.org\/10.1145\/2983990.2984007","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022671.2984007","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}