{“id”：“https://openalex.org/W3108611594“，”doi“：”https://doi.org/10.4230/lipics.ecoop.2020.18”，“title”：“DOT的参考突变性。“，”display_name“：”DOT的参考变异性。“，”“publication_year”：2020，“publication_date”：“2020-01-01”，“ids”：{“openalex”：“https://openalex.org/W3108611594“，”doi“：”https://doi.org/10.4230/lipics.ecoop.2020.18“，”mag“：”3108611594“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://drops.dagstuhl.de/opus/volltexte/200/13175/pdf/LIPIcs-ECOOP-2020-18.pdf/“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306418338“，”display_name“：”面向对象编程欧洲会议“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：nul，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，“type”：“Conference”}，“license”：null、“license_id”：nul、“version”：null、“is_accepted”：false、“is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，“indexed_in”：[]，“open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：null，“any_repository_has_fulltext”：false}.，“authorships”：[{“author_position”：“first”，“auther”:{“id”：“https://openalex.org/A5086708856“，”display_name“：”Vlastimil Dort“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Vlassimil Dort:“，”raw _affiliation_strings“：]，”affiliations“：[/]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5039616179“，”display_name“：”Ond\u0159ej Lhot\u00e1k“，”orcid“：”https://orcid.org/0000-0001-9066-1889}，“机构”：[{“id”：https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Ond\u0159ej Lhot\u00e1k“，”raw _ afiliation_strings“：[]，”从属关系“：[]}]”，“countries _ distinct_count”：1，”institutions _ disting_count“：1，has_fulltext“：false，”引用_by_count“：2，”cited_by_percentile_year“：{“min”：74，“max”：78}，“biblio”：{”volume“：null，”issue“：null，”first_page“：”28“，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.997，“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“：”物理科学“}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的表征和检测“，”score“：0.982，”subfield“：｛”id“：”https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.563703}，{”id“：”https://openalex.org/keywords/requirements-traceability“，”display_name“：”需求跟踪“，”score“：0.539574}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.506377}]，”concepts“：[{”id“：”https://openalex.org/C109701466，“wikidata”：https://www.wikidata.org/wiki/Q460584“，”display_name“：”Scala“，”level“：3，”score“：0.92658615}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.8551825}，{”id“：”https://openalex.org/C2776126399，“wikidata”：https://www.wikidata.org/wiki/Q3942906“，”display_name“：”Immutability“，”level“：3，”score“：0.7756632}，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.70423263}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.68022406}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6018678｝，｛”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5443466}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.51929563}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.5007467}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45151758}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33960366}，{”id“：”https://openalex.org/C2779687700，“wikidata”：https://www.wikidata.org/wiki/Q20514253“，”display_name“：”区块链“，”level“：2，”score“：0.076969564}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://drops.dagstuhl.de/opus/volltexte/2010/13175/pdf/LIPIcs-ECOOP-2020-18.pdf/“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306418338“，”display_name“：”面向对象编程欧洲会议“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：nul，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，“type”：“Conference”}，“license”：null、“license_id”：nul、“version”：null、“is_accepted”：false、“is_published“：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：0，“referrenced_works”：〔〕，“related_work”：[“https://openalex.org/W585493754","https://openalex.org/W2963744630","https://openalex.org/W2950334410","https://openalex.org/W2536396847","https://openalex.org/W2533281993","https://openalex.org/W2472600474","https://openalex.org/W23932799","https://openalex.org/W2289066165","https://openalex.org/W2233101269","https://openalex.org/W2226029483","https://openalex.org/W2187762443","https://openalex.org/W2183165321","https://openalex.org/W2163626659","https://openalex.org/W21480251999","https://openalex.org/W2126787737","https://openalex.org/W2113696254","https://openalex.org/W2064566601","https://openalex.org/W2032435196","https://openalex.org/W1511993162","https://openalex.org/W1510641142“]，”ngrams_url“：”https://api.openalex.org/works/W3108611594/ngrams网站“，”“abstract_inverted_index”：{“Reference”：[0]，“mutability”：[1,20,42]，“is”：[2]，“a”：[3]，“type-based”：[4]，“technology”：[5]，“for”：[6]，“controlling”：[7]，“突变”：[8]，“that”：[9]，“has”：[10]，“been”：[11]，“彻底”：[12]，“studed”：[13]，“in”：[14]，16,57]，“探索”：[17]，“如何”：[18,40]，“参考”：[19,41]，“互动”：[21]，“与”：[22]，““：[23,31,62]，”features“：[24,49]，”of“：[25]，”Scala“：[26,48]，”by“：[27,66]，”adding“：[28]，”it“：[29]，”to“：[30]，”Dependent“：[32]，”Object“：[33]，”Types“：[34]，”（DOT）“：[35]，”calculation。“：[36，68]，”Our“：[37]，”extension“：[38]，”show“：[39]，”can“：[43]，”be“：[44]，”encoded“：[45]，”using“：[46]，”existing“：[47]，”such“：[50]，”as“：[51]，”路径相关，“：[52]，”intersection“：[53]，”and“：[54，61]，”union“：[55]，”类型。“：[56]，”证明“：[58]，”类型“：[59]，”可靠性“：[60]，”不变性“：[63]，”保证“：[64]，”提供“：[65]，”我们的“：[67]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W3108611594“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2023，”cited_by_count”：1}]，”更新日期“：”2024-06-19T03:09:034088“，”创建日期“：“2020-12-07”}