{“id”：“https://openalex.org/W2137282578“，”doi“：”https://doi.org/10.1145/2628136.2628160“，”title“：“Coeffects”，”display_name“：”Coeffect“，”publication_year“：2014，”publiation_date“：”2014-08-19“，”ids“：{”openalex“：”https://openalex.org/W2137282578“，”doi“：”https://doi.org/10.1145/2628136.2628160“，”mag“：”2137282578“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2628136.2628160“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://kar.kent.ac.uk/57493/1/paper.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5036969978“，”display_name“：”Tom\u00e1\u0161 Pet\u0159\u00ed\u010dek“，”orcid“：”https://orcid.org/0000-0002-7242-2208}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”网址：https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Tomas Petricek“，”raw _ afiliation_strings“：[“英国剑桥大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5064585229“，”display_name“：”Dominic Orchard“，”orcid“：”https://orcid.org/0000-0002-7058-7842}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Dominic Orchard“，”raw _ afiliation_strings“：[“英国剑桥大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5004222850“，”display_name“：”Alan Mycroft“，”orcid“：”https://orcid.org/0000-0001-7013-8572}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Alan Mycroft“，”raw _ afiliation_strings“：[“英国剑桥大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国剑桥大学“，”institution_ids“：[https://openalex.org/I241749“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.832，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count 988，“is_in_top_1_percent”：错误，“is_in_top_10_percent“：true｝，”cited_by_percentle_year“：｛”min“：96，”max“：97｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9978，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/scope“，”display_name“：”Scope（computer science）“，”score“：0.74681145}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.510934}]，”concepts“：[{”id“：”https://openalex.org/C96324660，“wikidata”：https://www.wikidata.org/wiki/Q205446“，”display_name“：”Dataflow“，”level“：2，”score“：0.9196794}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8389463}，{”id“：”https://openalex.org/C2778012447，“wikidata”：https://www.wikidata.org/wiki/Q1034415“，”display_name“：”Scope（computer science）“，”level“：2，”score“：0.74681145}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.6886224}，{”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.617884}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5458666｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35482097}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0935688}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205（网址：https://www.wikidata.org/wiki/Q7205）“，”display_name“：”古生物学“，”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2628136.2628160“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://kar.kent.ac.uk/57493/1/paper.pdf，“pdf_url”：https://kar.kent.ac.uk/57493/1/paper.pdf，“源”：{“id”：https://openalex.org/S4377196264“，”display_name“：”Kent Academic Repository（University of Kent）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I20581793“，”host_organization_name“：”肯特大学“，”host_organization_lineage“：[”https://openalex.org/I20581793“]，”host_organization_lineage_names“：[”肯特大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://kar.kent.ac.uk/57493/1/paper.pdf，“pdf_url”：https://kar.kent.ac.uk/57493/1/paper.pdf，“源”：{“id”：https://openalex.org/S4377196264“，”display_name“：”Kent Academic Repository（University of Kent）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I20581793“，”“host_organization_name”：“肯特大学”，“host_ordanization_lineage”：[“https://openalex.org/I20581793“]，”host_organization_lineage_names“：[”肯特大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，”datasets“：〔〕，”versions“：〔】，”referenced_works_count“：22，”https://openalex.org/W111511002","https://openalex.org/W1579416470","https://openalex.org/W15833160","https://openalex.org/W1678412398","https://openalex.org/W1830196027","https://openalex.org/W1964976097","https://openalex.org/W1971256104","https://openalex.org/W1988824860","https://openalex.org/W1990204174","https://openalex.org/W1997143185","https://openalex.org/W2007738069","https://openalex.org/W2014021676","https://openalex.org/W2022518532","https://openalex.org/W2048921878","https://openalex.org/W2079640625","https://openalex.org/W2102640269","https://openalex.org/W2114991657","https://openalex.org/W2129991479","https://openalex.org/W2166049140","https://openalex.org/W2490708582","https://openalex.org/W3125045354","https://openalex.org/W4235116491“]，”related_works“：[”https://openalex.org/W4251718783","https://openalex.org/W4239447582","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W2998381397","https://openalex.org/W2603587807","https://openalex.org/W2521947294","https://openalex.org/W2293118914","https://openalex.org/W2171015181","https://openalex.org/W1484403103“]，”abstract_inverted_index“：｛”The“：[0,51]，”concept“：[1,54]，”of“：[2,20,39,55]，”context“：[3]，”in“：[4,13,24,29,47]，”functional“：[5]，”languages“：[6]，”no“：[7]，”longer“：[8]，”referred“：[9]，”just“：[10]，”to“：[11,65]，”variables“：[12,21]，”scope.“：[14]，”context“：[15]，“可以”：[16]，“捕获”：[17,66]，“附加”：[18,35]，“属性”：[19,38]，“（用法”：[22]，”模式”：[23]，“线性”：[25]，“逻辑；“：[26]，”缓存“：[27]，”要求“：[28]，”数据流“：[30]，”语言）“：[31]，”作为“：[32,34]，”well“：[33]，”资源“：[36]，”或“：[37]，”the“：[40,58]，”execution“：[41]，”environment“：[42]，”（可重新绑定“：[43]，”resources；“：[44]，”platform“：[45]，”version“：[46]，”a“：[48]，”跨平台“：[49]，“应用程序）。“：[50]，”最近“：[52]，”引入“：[53]，”共同作用“：[56]，”捕获“：[57]，”后一个“：[59]，”全文“：[60]，”属性“：[61]，”但“：[62]，”it“：[63]，”失败“：[64]，”细粒度“：[67]，”per-variable“：[68]，”properties。“：[69]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2137282578“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”ciped_by_cunt“：6}，”{“年份”：2022，“cited_by_count”：10}，，{“年”：2021，“ciped_by_cunt”：11}“年份”：2017，“引用_ by_count”：1}，{“年份”:2016，“引用_by_counts”：9}，}“年份“：2015，”cited_by_count“：3}]，“updated_date”：“2024-09-14T17:00:17.286928”，“创建日期”：“2016-06-24”}