{“id”：“https://openalex.org/W1545449210“，”doi“：”https://doi.org/10.1007/3-540-48959-2_17“，”title“：”Call-by Push-Value:A Subsuming Paradigm“，”display_name“：”Call-by Push-Value:A Subsumming Paradigm“，”publication_year“：1999，”publiction_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W1545449210“，”doi“：”https://doi.org/10.1007/3-540-48959-2_17“，”mag“：”1545449210“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5041447634“，”display_name“：”Paul Blain Levy“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I166337079“，”display_name“：”伦敦玛丽女王大学“，”ror“：”https://ror.org/026zzn846“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I166337079“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Paul Blain Levy“，”raw _affiliation_strings“：[“英国E1 4NS伦敦玛丽女王与威斯菲尔德学院计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”玛丽女王与西菲尔德学院计算机系，伦敦E1 4NS，英国“，”institution_ids“：[https://openalex.org/I166337079“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5041447634“]，”对应的机构ID“：[”https://openalex.org/I166337079“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：2.717，”has_fulltext“：false，”cited_by_count“：51，”citted_by_percentile_year“：{“min”：92，”max“：93}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“228”，“lastage”：“243”}，“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“：”Artificial Intelligence“｝，”field“：｛”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“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9951，”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“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9892，“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/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.500883}]，”concepts“：[{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.8136561}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.7983999}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75293946}，{”id“：”https://openalex.org/C89448276，“wikidata”：https://www.wikidata.org/wiki/Q5259284（网址：https://www.wikidata.org/wiki/Q5259284）“，”display_name“：”Actor模型的指称语义“，”level“：5，”score“：0.65927833}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6321196}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.48867515}，{”id“：”https://openalex.org/C2776291640，“wikidata”：https://www.wikidata.org/wiki/Q2912517“，”display_name“：”Value（mathematics）“，”level“：2，”score“：0.48107052}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47189698}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.46425062}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.42947844}，{”id“：”https://openalex.org/C5526617，“wikidata”：https://www.wikidata.org/wiki/Q719375“，”display_name“：”操作数“，”level“：2，”score“：0.41473404}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：8，”referenced_works“：[”https://openalex.org/W1997143185","https://openalex.org/W2007270285","https://openalex.org/W2090337950","https://openalex.org/W2095621310","https://openalex.org/W2101416179","https://openalex.org/W2138037343","https://openalex.org/W2911865844","https://openalex.org/W3141241911“]，”related_works“：[”https://openalex.org/W316137296","https://openalex.org/W3036972880","https://openalex.org/W2257517306","https://openalex.org/W2154982982","https://openalex.org/W2072493788","https://openalex.org/W2066556632","https://openalex.org/W2000726331","https://openalex.org/W1968765218","https://openalex.org/W1929699059","https://openalex.org/W1768718906“]，”ngrams_url“：”https://api.openalex.org/works/W1545449210/ngrams网站“，”“abstract_inverted_index”：{“Call-by-push-value”：[0]，“is”：[1]，“a”：[2,63,92]，“new”：[3116]，“parademy”：[4]，“that”：[5,31,59,72]，“subsumes”：[6]，“the”：[7,13,50,57,73]，“Call-by-name”：[8106]，“and”：[9,18,54,88,97107117]，“Call-by-value”，“in”：[12]，“following”：[14]，“sense:”：[15]，“both”：[16]，“operational”：[17,47,87]，“指称“：[19,89]，”语义“：[20,37,90104]，”for“：[21,38,82,91105]，”these“：[22]，”paradigms“：[23]，”can“：[24,76]，”be“：[25,77]，”seen“：[26]，”as“：[27,79]，”overning“：[28]，”via“：[29]，”translations“：[30]，”we“：[32,43,70]，”will“：[33]，”provide，“：[34]，”来自“：[35]，”类似“：[36]，”调用-可见。“：[39]，“To”：[40]，“explain”：[41]，“call-by-observative”，：[42]，“first”：[44]，“discussion”：[45]，“general”：[46]，“ideas”，“：[48]，“specials”：[49]，“difference”：[51]，“between”：[52]，“values”：[53]，“computers”：55]，“using”：[56]，“principal”：[58]，“a”：[60]，“value”：[61]，“is”：[62]，“计算”：[64]，“does\”。“：[65]，”Using“：[66]，”an“：[67,83]，”example“：[68]，”program“：[69]，”see“：[71]，”lambda-calculus“：[74]，”primitives“：%75]，”understand“：[78]，”push/pop“：[80]，”commands“：+81]，”operand-stack“。“：[84]，”我们“：[85101]，”提供“：[86]，”范围“：[93]，”of“：[94109]，”计算“：[95]，”效果“：[96]，”显示“：[98]，”他们的“：[99]，”协议。“：[100]，”因此“：[102]，”获得“：[103]，”调用值“：[108]，”其中“：[110]，”一些“：[11111 4118]，”是“：[11215]，”熟悉“，”：[113]，“是”：[119]，“已知”：[120]，“但是”：[121]，“之前”：[122]，“出现”：[123]，“神秘。“：[124]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1545449210“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：5}，“{”年度“：2021，”cited_by_count“年份”：2016，“引用_ by_count”：2}，{“年份”:2015，“引用_by_counts”：3}，}“年份“：2014，”引用_ by-count“：1}，{“年份”：2013，“引用_ by_count”：3}]，“更新日期”：“2024-06-20T22:18:43.619390”，“创建时间”：“2016-06-24”}