{"id":"https://openalex.org/W2534173360","doi":"https://doi.org/10.1145/2983990.2984007","title":"Computing repair alternatives for malformed programs using constraint attribute grammars","display_name":"Computing repair alternatives for malformed programs using constraint attribute grammars","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2534173360","doi":"https://doi.org/10.1145/2983990.2984007","mag":"2534173360"},"language":"en","primary_location":{"id":"doi:10.1145/2983990.2984007","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004979548","display_name":"Friedrich Steimann","orcid":"https://orcid.org/0000-0002-8887-134X"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Friedrich Steimann","raw_affiliation_strings":["Fernuniversit\u00e4t in Hagen, Germany"],"affiliations":[{"raw_affiliation_string":"Fernuniversit\u00e4t in Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080297206","display_name":"J\u00f6rg Hagemann","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Hagemann","raw_affiliation_strings":["Fernuniversit\u00e4t in Hagen, Germany"],"affiliations":[{"raw_affiliation_string":"Fernuniversit\u00e4t in Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055273719","display_name":"Bastian Ulke","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bastian Ulke","raw_affiliation_strings":["Fernuniversit\u00e4t in Hagen, Germany"],"affiliations":[{"raw_affiliation_string":"Fernuniversit\u00e4t in Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004979548"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":4.6444,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.95185749,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"711","last_page":"730"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8436751365661621},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7196880578994751},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6441638469696045},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6016522645950317},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5170007944107056},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.50674968957901},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5030393004417419},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.4993109703063965},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.4866529107093811},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4700533151626587},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46168604493141174},{"id":"https://openalex.org/keywords/parse-tree","display_name":"Parse tree","score":0.43337365984916687},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.414596289396286},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33337223529815674},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10288041830062866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8436751365661621},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7196880578994751},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6441638469696045},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6016522645950317},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5170007944107056},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.50674968957901},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5030393004417419},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.4993109703063965},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4866529107093811},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4700533151626587},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46168604493141174},{"id":"https://openalex.org/C2781466058","wikidata":"https://www.wikidata.org/wiki/Q627921","display_name":"Parse tree","level":3,"score":0.43337365984916687},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.414596289396286},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33337223529815674},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10288041830062866},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2983990.2984007","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G3589763810","display_name":null,"funder_award_id":"STE 906/5-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W94253497","https://openalex.org/W205145512","https://openalex.org/W1532892735","https://openalex.org/W1591532012","https://openalex.org/W1596741474","https://openalex.org/W1660751281","https://openalex.org/W1712062258","https://openalex.org/W1877177230","https://openalex.org/W1946588374","https://openalex.org/W1964071625","https://openalex.org/W1971702813","https://openalex.org/W1983160424","https://openalex.org/W2000952465","https://openalex.org/W2002601352","https://openalex.org/W2007033444","https://openalex.org/W2016027000","https://openalex.org/W2030529555","https://openalex.org/W2052801637","https://openalex.org/W2070821087","https://openalex.org/W2072500626","https://openalex.org/W2088840065","https://openalex.org/W2098913585","https://openalex.org/W2100466372","https://openalex.org/W2118300983","https://openalex.org/W2127229466","https://openalex.org/W2138482003","https://openalex.org/W2143614054","https://openalex.org/W2144575244","https://openalex.org/W2153559293","https://openalex.org/W2162635569","https://openalex.org/W2192868624","https://openalex.org/W2207799946","https://openalex.org/W2238262809","https://openalex.org/W2407504519","https://openalex.org/W2416598670","https://openalex.org/W2427646727","https://openalex.org/W2561675875","https://openalex.org/W2608651664","https://openalex.org/W4249596969","https://openalex.org/W4293662999","https://openalex.org/W4392426900","https://openalex.org/W6609222006","https://openalex.org/W6633177186","https://openalex.org/W6637687843","https://openalex.org/W6713924265","https://openalex.org/W6759062267"],"related_works":["https://openalex.org/W1991876452","https://openalex.org/W2118045671","https://openalex.org/W4244615522","https://openalex.org/W1972256049","https://openalex.org/W2338828339","https://openalex.org/W2166677757","https://openalex.org/W2141288413","https://openalex.org/W3123688778","https://openalex.org/W1634973882","https://openalex.org/W2049995120"],"abstract_inverted_index":{"Attribute":[0],"grammars":[1],"decorate":[2],"the":[3,19,30,117,143],"nodes":[4],"of":[5,22,32,52,119,127,159],"a":[6,23,44,53,58,157],"program's":[7],"parse":[8],"tree":[9],"with":[10,36],"attributes":[11],"whose":[12,79],"values":[13],"are":[14,83,92],"defined":[15],"by":[16,43,122,136],"equations":[17,31],"encoding":[18],"(static)":[20],"semantics":[21],"programming":[24],"language.":[25],"We":[26,68,115],"show":[27],"how":[28],"replacing":[29],"an":[33,129,140],"attribute":[34,130],"grammar":[35,131],"equivalent":[37],"constraints":[38],"that":[39,60],"can":[40],"be":[41],"solved":[42],"constraint":[45],"solver":[46],"allows":[47],"us":[48],"to":[49,85,105,139],"compute":[50],"repairs":[51],"malformed":[54],"program":[55],"solely":[56],"from":[57,142],"specification":[59],"was":[61],"originally":[62],"designed":[63],"for":[64],"checking":[65],"its":[66],"well-formedness.":[67],"present":[69],"two":[70],"repair":[71,81,86],"modes":[72],"---":[73,78],"shallow":[74,95],"and":[75,135,148,154],"deep":[76,101],"fixing":[77,96,102,149],"computed":[80],"alternatives":[82],"guaranteed":[84],"every":[87],"error":[88],"on":[89,125],"which":[90],"they":[91],"invoked.":[93],"While":[94],"may":[97],"introduce":[98],"new":[99],"errors,":[100],"never":[103],"does;":[104],"make":[106],"it":[107,111,124,138],"tractable,":[108],"we":[109],"implement":[110],"using":[112],"neighborhood":[113],"search.":[114],"demonstrate":[116],"feasibility":[118],"our":[120],"approach":[121],"implementing":[123],"top":[126],"ExtendJ,":[128],"based":[132],"Java":[133,144],"compiler,":[134],"applying":[137],"example":[141],"EE":[145],"context,":[146],"detecting":[147],"well-formedness":[150],"errors":[151],"(both":[152],"real":[153],"injected)":[155],"in":[156],"body":[158],"14":[160],"open-source":[161],"subject":[162],"programs.":[163]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}