乐胖代购免代理版

{"id":"https://openalex.org/W2914222906","doi":"https://doi.org/10.1515/comp-2019-0002","title":"A compiler architecture for domain-specific type error diagnosis","display_name":"A compiler architecture for domain-specific type error diagnosis","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2914222906","doi":"https://doi.org/10.1515/comp-2019-0002","mag":"2914222906"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0002","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p33.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-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-p33.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100628640","display_name":"Alejandro Serrano","orcid":"https://orcid.org/0000-0002-5429-7589"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Alejandro Serrano","raw_affiliation_strings":["Utrecht University, Utrecht . The Netherlands"],"affiliations":[{"raw_affiliation_string":"Utrecht University, Utrecht . The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101615144","display_name":"Jurriaan Hage","orcid":"https://orcid.org/0000-0002-3580-6069"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jurriaan Hage","raw_affiliation_strings":["Utrecht University, Utrecht . The Netherlands"],"affiliations":[{"raw_affiliation_string":"Utrecht University, Utrecht . The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100628640"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":{"value":1000,"currency":"EUR","value_usd":1078,"provenance":"doaj"},"apc_paid":{"value":1000,"currency":"EUR","value_usd":1078,"provenance":"doaj"},"fwci":0.141,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":4,"citation_normalized_percentile":{"value":0.668243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":79},"biblio":{"volume":"9","issue":"1","first_page":"33","last_page":"51"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994,"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.9994,"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.997,"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/T10260","display_name":"Software Engineering Research","score":0.9961,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6572772},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.6292368}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83486366},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.79388916},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7394764},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.67063355},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6572772},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.6292368},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5431042},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.51783043},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4639264},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3355167},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.086771995},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08397031},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0002","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p33.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/0917d4450f554d5496cbe39e1b05a4c3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/377949","pdf_url":"https://dspace.library.uu.nl/bitstream/handle/1874/377949/A_compiler.pdf?sequence=1&isAllowed=y","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2019-0002","pdf_url":"https://www.degruyter.com/downloadpdf/journals/comp/9/1/article-p33.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":33,"referenced_works":["https://openalex.org/W1568497055","https://openalex.org/W1572984153","https://openalex.org/W1587446521","https://openalex.org/W1918550727","https://openalex.org/W2009179353","https://openalex.org/W2009464583","https://openalex.org/W2015617966","https://openalex.org/W2026049208","https://openalex.org/W2026790447","https://openalex.org/W2039120330","https://openalex.org/W2045041259","https://openalex.org/W2058162377","https://openalex.org/W2067195533","https://openalex.org/W2069858276","https://openalex.org/W2080312918","https://openalex.org/W2098374496","https://openalex.org/W2107214848","https://openalex.org/W2122537103","https://openalex.org/W2131916293","https://openalex.org/W2163976959","https://openalex.org/W2168280960","https://openalex.org/W2170257749","https://openalex.org/W2296064069","https://openalex.org/W2488899953","https://openalex.org/W2537680118","https://openalex.org/W2562482846","https://openalex.org/W2592619198","https://openalex.org/W2604777673","https://openalex.org/W2741285251","https://openalex.org/W2984008781","https://openalex.org/W4232597063","https://openalex.org/W4237428230","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4289709346","https://openalex.org/W2885657154","https://openalex.org/W2582410692","https://openalex.org/W2460228634","https://openalex.org/W2258960507","https://openalex.org/W2140083133","https://openalex.org/W2119542776","https://openalex.org/W2097052821","https://openalex.org/W2014596857","https://openalex.org/W1485300234"],"abstract_inverted_index":{"Abstract":[0],"Domain-specific":[1],"languages":[2],"(DSLs)":[3],"permeate":[4],"current":[5],"programming":[6],"practices.":[7],"An":[8],"important":[9],"kind":[10],"of":[11,62,77,94],"DSLs":[12,31],"includes":[13],"those":[14],"developed":[15],"and":[16,70,117,144,146,150,170],"integrated":[17,99],"within":[18],"a":[19,58,86,96,114,161,180],"host":[20],"language,":[21],"which":[22,168],"we":[23,156],"call":[24],"embedded":[25,30],"or":[26],"internal":[27],"DSLs.":[28],"Unfortunately,":[29],"usually":[32],"fall":[33],"short":[34],"on":[35],"domain-specific":[36,102,175],"error":[37,68,103,158,176,193],"diagnosis,":[38],"that":[39,107,182],"is,":[40],"they":[41],"do":[42],"not":[43],"give":[44],"control":[45,164],"to":[46,54,73,81,163],"DSL":[47,64,79],"authors":[48],"over":[49],"how":[50],"errors":[51],"are":[52],"reported":[53],"the":[55,63,75,78,92,108,165,183,188],"programmer.":[56],"As":[57],"consequence,":[59],"implementation":[60,80],"details":[61],"leak":[65],"through":[66],"in":[67,85,167,178],"messages,":[69],"programmers":[71],"need":[72],"understand":[74],"internals":[76],"fix":[82],"their":[83],"code":[84],"productive":[87],"way.":[88],"This":[89],"paper":[90],"addresses":[91],"challenge":[93],"building":[95],"compiler":[97,184],"with":[98],"support":[100],"for":[101,190],"diagnosis.":[104,194],"We":[105,173],"assume":[106],"type":[109,136],"system":[110],"is":[111,120],"described":[112],"using":[113,122],"constraint-based":[115],"approach,":[116],"constraint":[118,132,139],"solving":[119,140,169],"specified":[121],"rewrite":[123],"rules.":[124],"Domain":[125],"information":[126],"can":[127,185],"then":[128],"be":[129],"injected":[130],"at":[131,148],"gathering":[133],"time":[134,152],"via":[135,141,153],"rules,":[137],"during":[138],"specialized":[142],"rules":[143],"axioms,":[145],"finally":[147],"blaming":[149,171],"reparation":[151],"transformations.":[154],"Furthermore,":[155],"define":[157],"contexts":[159],"as":[160],"way":[162,181],"order":[166],"proceeds.":[172],"engineer":[174],"diagnosis":[177],"such":[179],"also":[186],"reuse":[187],"techniques":[189],"improving":[191],"general":[192]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2914222906","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-01-16T08:17:25.790948","created_date":"2019-02-21"}