{"id":"https://openalex.org/W2924405342","doi":"https://doi.org/10.1515/comp-2019-0003","title":"Type errors for the IDE with Xtext and Xsemantics","display_name":"Type errors for the IDE with Xtext and Xsemantics","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2924405342","doi":"https://doi.org/10.1515/comp-2019-0003","mag":"2924405342"},"language":"en","primary_location":{"id":"doi:10.1515/comp-2019-0003","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0003","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p52.pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p52.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083629281","display_name":"Lorenzo Bettini","orcid":"https://orcid.org/0000-0002-4481-8096"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Lorenzo Bettini","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni , Universit\u00e0 di Firenze , Italy Firenze"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni , Universit\u00e0 di Firenze , Italy Firenze","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083629281"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":{"value":1000,"currency":"EUR","value_usd":1078},"apc_paid":{"value":1000,"currency":"EUR","value_usd":1078},"fwci":0.28,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63657391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"9","issue":"1","first_page":"52","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8769880533218384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8707784414291382},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.7793412208557129},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.6308023929595947},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.6238738298416138},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5885245203971863},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5605937838554382},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.5537383556365967},{"id":"https://openalex.org/keywords/language-construct","display_name":"Language construct","score":0.46342527866363525},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.431041955947876},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.2791662812232971},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19888508319854736},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.1675196886062622},{"id":"https://openalex.org/keywords/programming-domain","display_name":"Programming domain","score":0.10490474104881287}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8769880533218384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8707784414291382},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.7793412208557129},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.6308023929595947},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.6238738298416138},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5885245203971863},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5605937838554382},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.5537383556365967},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.46342527866363525},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.431041955947876},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2791662812232971},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19888508319854736},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.1675196886062622},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.10490474104881287},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/comp-2019-0003","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0003","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p52.pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:3eb3aa34d78d4e308c895429a19e4350","is_oa":true,"landing_page_url":"https://doaj.org/article/3eb3aa34d78d4e308c895429a19e4350","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Open Computer Science, Vol 9, Iss 1, Pp 52-79 (2019)","raw_type":"article"},{"id":"pmh:oai:flore.unifi.it:2158/1151882","is_oa":true,"landing_page_url":"http://hdl.handle.net/2158/1151882","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1515/comp-2019-0003","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0003","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p52.pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2924405342.pdf","grobid_xml":"https://content.openalex.org/works/W2924405342.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W128286996","https://openalex.org/W1005183650","https://openalex.org/W1488817599","https://openalex.org/W1494407580","https://openalex.org/W1518650316","https://openalex.org/W1534993236","https://openalex.org/W1557561422","https://openalex.org/W1564995449","https://openalex.org/W1572984153","https://openalex.org/W1584575784","https://openalex.org/W1644882639","https://openalex.org/W1918550727","https://openalex.org/W1946588374","https://openalex.org/W1964071625","https://openalex.org/W1968728657","https://openalex.org/W1970607969","https://openalex.org/W1976218147","https://openalex.org/W1990218893","https://openalex.org/W1997150177","https://openalex.org/W2005915144","https://openalex.org/W2011725693","https://openalex.org/W2014585408","https://openalex.org/W2018009728","https://openalex.org/W2022744394","https://openalex.org/W2026049208","https://openalex.org/W2033348393","https://openalex.org/W2034276442","https://openalex.org/W2045313089","https://openalex.org/W2049008406","https://openalex.org/W2053553588","https://openalex.org/W2056310485","https://openalex.org/W2065682309","https://openalex.org/W2068336423","https://openalex.org/W2080901110","https://openalex.org/W2081597626","https://openalex.org/W2094080019","https://openalex.org/W2096529083","https://openalex.org/W2119114955","https://openalex.org/W2122537103","https://openalex.org/W2125872407","https://openalex.org/W2125876733","https://openalex.org/W2131809313","https://openalex.org/W2134093956","https://openalex.org/W2137196294","https://openalex.org/W2145809484","https://openalex.org/W2157627245","https://openalex.org/W2163976959","https://openalex.org/W2166414999","https://openalex.org/W2170257749","https://openalex.org/W2184941823","https://openalex.org/W2185335208","https://openalex.org/W2189145845","https://openalex.org/W2193084514","https://openalex.org/W2202435499","https://openalex.org/W2203258339","https://openalex.org/W2229705435","https://openalex.org/W2238262809","https://openalex.org/W2294680933","https://openalex.org/W2488899953","https://openalex.org/W2517855766","https://openalex.org/W2536788874","https://openalex.org/W2598726860","https://openalex.org/W2615205291","https://openalex.org/W2728067852","https://openalex.org/W2732800443","https://openalex.org/W2762541150","https://openalex.org/W2763702833","https://openalex.org/W2885412752","https://openalex.org/W2898547734","https://openalex.org/W2996950218","https://openalex.org/W3127391999","https://openalex.org/W3149778755","https://openalex.org/W4232603068","https://openalex.org/W4235662153","https://openalex.org/W4241497207","https://openalex.org/W4251916054"],"related_works":["https://openalex.org/W3141365533","https://openalex.org/W2135265328","https://openalex.org/W2068706008","https://openalex.org/W2924405342","https://openalex.org/W2483415553","https://openalex.org/W4235797919","https://openalex.org/W3082149082","https://openalex.org/W2112150205","https://openalex.org/W4251656442","https://openalex.org/W2389919171"],"abstract_inverted_index":{"Abstract":[0],"Providing":[1],"IDE":[2,40,65,126,193],"support":[3,194],"for":[4,96,187,198,219],"a":[5,9,34,52,92,124,168,173,196,203],"programming":[6],"language":[7,19,171,185,224],"or":[8],"DSL":[10,197],"(Domain":[11],"Specific":[12],"Language)":[13],"helps":[14],"the":[15,18,44,69,108,119,135,139,147,155,160,184,189,192,213],"users":[16],"of":[17,87,118,138,163],"to":[20,25,47,61,113,158],"be":[21,59,132,216],"more":[22],"productive":[23],"and":[24,71,172,191],"have":[26],"an":[27],"immediate":[28],"feedback":[29],"on":[30,79,102,134],"possible":[31],"errors":[32,143],"in":[33,51,212],"program.":[35],"Static":[36],"types":[37],"can":[38,57,145,215],"drive":[39],"mechanisms":[41],"such":[42,67],"as":[43,68,115,121,183],"content":[45],"assist":[46],"propose":[48],"sensible":[49],"completions":[50],"given":[53],"program":[54,120],"context.":[55],"Types":[56],"also":[58,218],"used":[60],"enrich":[62],"other":[63,223],"typical":[64],"parts":[66,117,137],"Outline":[70],"theHovering":[72],"pop-ups.":[73],"In":[74],"this":[75],"paper,":[76],"we":[77],"focus":[78],"statically":[80,165],"typed":[81,166],"imperative":[82],"languages,":[83],"adopting":[84],"some":[85],"form":[86],"type":[88,99,103,109,114,161,200],"inference.":[89],"We":[90,149,180],"present":[91],"few":[93],"general":[94],"patterns":[95,157,210],"implementing":[97,188,199,220],"efficient":[98],"systems,":[100],"focusing":[101],"error":[104,129],"recovery.":[105],"This":[106],"way,":[107],"system":[110,162],"is":[111],"able":[112],"many":[116],"possible,":[122],"keeping":[123],"good":[125],"experience.":[127],"Type":[128],"messages":[130],"will":[131],"placed":[133],"important":[136],"program,":[140],"avoiding":[141],"cascading":[142],"that":[144,205],"confuse":[146],"user.":[148],"show":[150],"two":[151,164],"case":[152],"studies:we":[153],"apply":[154],"presented":[156],"implement":[159],"DSLs,":[167],"simple":[169],"expression":[170],"reduced":[174],"Java-like":[175],"language,":[176],"with":[177,222],"OOP":[178],"features.":[179],"use":[181],"Xtext":[182],"workbench":[186],"compiler":[190],"andXsemantics,":[195],"systems":[201],"using":[202],"syntax":[204],"mimics":[206],"formal":[207],"systems.":[208],"The":[209],"shown":[211],"paper":[214],"reused":[217],"languages":[221],"frameworks.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}