{“id”：“https://openalex.org/W2054299141“，”doi“：”https://doi.org/10.1016/0304-3975（87）90109-5“，“title”：“顺序控制的句法理论”，“display_name”：“序列控制的句法原理”，“publication_year”：1987，“publitation_date”：“1987-01-01”，“ids”：{“openalex”：“https://openalex.org/W2054299141“，”doi“：”https://doi.org/10.1016/0304-3975（87）90109-5“，”mag“：”2054299141“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（87）90109-5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”issn“：[”0304-3975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”期刊文章“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/0304-3975（87）90109-5“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5000905628“，”display_name“：”Matthias Felleisen“，”orcid“：”https://orcid.org/0000-0001-6678-1004}，“机构”：[{“id”：https://openalex.org/I4210119109“，”display_name“：”印第安纳大学布卢明顿分校“，”ror“：”https://ror.org/02k40bc56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Mattias Felleisen“，”raw _ afiliation_strings“：[”印第安纳大学-布鲁明顿，IN“]，”affiliations“：[{”raw _affiliation_strong“：”印第安纳州立大学-布鲁明顿，IN”，“institution_ids”：[“https://openalex.org/I4210119109“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5070161899“，”display_name“：”Daniel P.Friedman“，”orcid“：”https://orcid.org/0000-0001-9992-1675}，“机构”：[{“id”：https://openalex.org/I4210119109“，”display_name“：”印第安纳大学布卢明顿分校“，”ror“：”https://ror.org/02k40bc56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”D.P.Friedman“，”raw _ afiliation_strings“：[“印第安纳大学-布卢明顿”]，”affiliations“：[{”raw _affiliation_string“：”印第安纳大学–布卢明敦，IN“，”institution_ids“：[https://openalex.org/I4210119109“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5033174008“，”display_name“：”Eugene E.Kohlbecker“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210119109“，”display_name“：”印第安纳大学布卢明顿分校“，”ror“：”https://ror.org/02k40bc56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”E.Kohlbecker“，”raw _ afiliation_strings“：[“印第安纳大学-布鲁明顿，印第安纳州”]，”affiliations“：[{”raw _affiliation_string“：”印第安纳大学–布鲁明顿州”，“institution_ids”：[“https://openalex.org/I4210119109“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5085992874“，”display_name“：”Bruce F.Duba“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210119109“，”display_name“：”印第安纳大学布卢明顿分校“，”ror“：”https://ror.org/02k40bc56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”B.Duba“，”raw _affiliation_strings“：[“印第安纳大学-布鲁明顿”]，”affiliations“：[{”raw _affiliation_string“：”印第安纳大学–布鲁明顿，IN“，”institution_ids“：[https://openalex.org/I4210119109“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2660，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：6.296，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：197，”引用_规范化_percentile“：{”value“：0.993933，”is_in_top_1_percent“：true，”is_in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：98，“max”：99}，“biblio”：{“volume”：“52”，“issue”：“3”，“first_page”：“205”，“last_page”：”237“}，“：”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.9992，”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.9917，“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.533467}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.524792}，{”id“：”https://openalex.org/keywords/normalisation-by-evaluation网站“，”display_name“：”评估归一化“，”score“：0.4901496}，{”id“：”https://openalex.org/keywords/abstract-machine网站“，”display_name“：”Abstract machine“，”score“：0.4413017}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5270082}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.50276494}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估归一化“，”level“：5，”score“：0.4901496}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.48907334}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.46889466}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4687802}，{”id“：”https://openalex.org/C88977235，“wikidata”：https://www.wikidata.org/wiki/Q787114“，”display_name“：”抽象机“，”level“：2，”score“：0.4413017}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.42672655｝，｛”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.41700298}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41636136}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.40207636}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.36033034｝，｛”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.31684655}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.19180518}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”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“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（87）90109-5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”issn“：[”0304-3975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（87）90109-5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1546447716","https://openalex.org/W1560351282","https://openalex.org/W157782893","https://openalex.org/W1971984900","https://openalex.org/W1996196278","https://openalex.org/W2041945455","https://openalex.org/W2043416466","https://openalex.org/W2050584095","https://openalex.org/W2063622838","https://openalex.org/W2088735483","https://openalex.org/W2107219179","https://openalex.org/W2109798037","https://openalex.org/W2113757735","https://openalex.org/W2141568518","https://openalex.org/W2143716265","https://openalex.org/W2154273644","https://openalex.org/W2395069443","https://openalex.org/W2912235608","https://openalex.org/W2912819106","https://openalex.org/W3145454088","https://openalex.org/W4236302107","https://openalex.org/W646636825“]，”related_works“：[”https://openalex.org/W783270985","https://openalex.org/W315975620","https://openalex.org/W2788308474","https://openalex.org/W2106305471","https://openalex.org/W2084426999","https://openalex.org/W2035082615","https://openalex.org/W1991569066","https://openalex.org/W1574611462","https://openalex.org/W1554480506","https://openalex.org/W1502311553“]，”abstract_inverted_index“：｛”Sequential“：[0]，”control“：[1,67123]，”operators“：[2,68]，”like“：[3]，”J“：[4]，”and“：[5，56，86，96102]，”call/cc“：[6]，”are“：[7]，”frequency“：[8]，”found“：[9]，”in“：[10]，”implementations“：[11]，”of“：[12，28，46，66，75110]，”the“：[13，25，47，53，64，91，94],97100103]，“\u03bb微积分”：[14]，“as”：[15]，“a”：[16,37，58，71，76，83107114]，“编程“：[17]，”语言。“：[18]，”Their“：[19]，”semantics“：[20]，”is“：[21,69]，”always“：[22]，”defined“：[23]，”by“：[24]，”evaluation“：[26,78]，”function“：[27]，”an“：[29,43]，”abstract“：[30]，”machine“。“：[31]，”We“：[32,80]，”show“：[33]，”that“：[34]，”given“：35]，”such“：[36]，”machine“：[38,95105]，”semantics“，”：[39]，“one”：[40]，”can“：[41]，”derive“：%42]，”algebral“：[44]，”extension“：[45]，”\u03bb\u03c5-演算。“：[48]，”The“：[49]，”extended“：[50]，”calculation“：[51101]，”satisform“：[52]，”diamond“：[54]，”property“：[55]，”contains“：[57]，”Church-Rosser“：[P9]，”subcalculus“。“：[60]，”This“：[61]，”underlines“：[62]，”that“：[63]，”interpretation“：[65]，”to“：[70,89]，”sequent“：[72]，”degree“：[73]，”independent“：[74]，”specific“：[77]，”strategy“。“：[79]，”也“：[81]，”证明“：[82]，”标准化“：[84]，”定理“：[85]，”使用“：[87]，”它“：[88]，”调查“：[90]，”对应“：[92]，”介于“：[93]，”微积分。“：[98]，”Together“，”：[99]，”rewriting“：[104]，”form“：[106]，”syntax“：/108]，”theory“：%109]，”control“，：[111]，”which“：[112]，”provides“：[113]，”natural“：[115]，”basis“：[116]，”for“：[117]，”reasoning“：[118]，”about“：[119]，”programs“：%120]，”with“：121]，”non-functional“：[122]，”operators。“：[124]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2054299141“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2023，”“cited_by_cunt”：2%n，{”“年”：2022，”“cited_by-count”“：2]，{”“年份”“：2021，”“icted_by/count”“年份”：2016，“引用_ by_count”：3}，{“年份”:2015，“引用_by_counts”：4}，}“年份“：2014，”引用_ by-count“：7}，{“年份”：2013，“引用_ by_count”：3}，{”年份“：2012，”引用_ by-count“：6}]，”更新日期“：“2024-09-18T20:19:12.638095”，“创建日期”：“2016-06-24”}