{“id”：“https://openalex.org/W2045396951“，”doi“：”https://doi.org/10.1145/2603088.2603106“，”title“：“功能性反应类型”，”display_name“：”功能性反应型“，”publication_year“：2014，”publitation_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W2045396951“，”doi“：”https://doi.org/10.1145/2603088.2603106“，”mag“：”2045396951“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603106“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5012868882“，”display_name“：”Alan Jeffrey“，”orcid“：”https://orcid.org/0000-0001-6342-0318}，“机构”：[{“id”：https://openalex.org/I1322087612“，”display_name“：”阿尔卡特朗讯（德国）“，”ror“：”https://ror.org/00c5mwp75“，”country_code“：”DE“，”type“：“company”，”lineage“：[”https://openalex.org/I1322087612“]｝]，”国家“：[”DE“]，”is_correresponsing“：true，”raw_author_name“：”Alan Jeffrey“，”raw_affiation_strings“：[”阿尔卡特-朗讯贝尔实验室>>“]，”附属机构“：[｛”raw_affiation_string“：”阿尔卡特-朗讯贝尔实验室>>“，”机构_ids“：[”https://openalex.org/I1322087612“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5012868882“]，”对应的机构ID“：[”https://openalex.org/I1322087612“]，”apc_list“：null，”apc_payed“：null，”fwci“：1.171，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：13，”citation_normalized_p百分位数“：｛”value“：0.930901，”is_in_top_1_percent“：false，”is_in_top_1_percent“：true｝，”cited_by_percentle_year“：｛”min“：88，”max“：89｝，”biblio“：｛”volume“：null，”issue“：null，”first_particle“ge“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9983，”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/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.5368}，{”id“：”https://openalex.org/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.524786}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.518708}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.42617375}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.68073934｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.590677}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.5580824}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.530622}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.50004387}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.4815512}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.42617375}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.42273384}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.326827}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603106“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：19，“referrenced_works”：[”https://openalex.org/W1480909796","https://openalex.org/W1511982475","https://openalex.org/W1539123436","https://openalex.org/W1539804543","https://openalex.org/W1543368493","https://openalex.org/W1544543122","https://openalex.org/W1819209966","https://openalex.org/W1941373452","https://openalex.org/W1965042993","https://openalex.org/W1975444939网址","https://openalex.org/W2023808162","https://openalex.org/W2079512738","https://openalex.org/W2116813111","https://openalex.org/W2137351629","https://openalex.org/W2146253762","https://openalex.org/W2158789193","https://openalex.org/W2162492115","https://openalex.org/W2246548093","https://openalex.org/W3099809655“]，”related_works“：[”https://openalex.org/W4312622265","https://openalex.org/W428522830","https://openalex.org/W4232446061","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W2124110813","https://openalex.org/W2031188261","https://openalex.org/W2020883449","https://openalex.org/W1507805823“]，”abstract_inverted_index“：{”Functional“：[0]，”Reactive“：[1]，”Programming“：[2]，”（FRP）“：[3]，”is“：[4129]，”an“：[5105]，”approach“：[6]，”to“：[7,76122145]，”streaming“:[8]，”data“：[C165]，”with“：[10166]，”a“：[11,32,65,92124156]，”pure“：[12]，”Functional“:[13,40,84101108]，”语义“：[14]，”作为“：[15,31,46,54,91,97131155]，”时间索引“：[16]，”值。“：[17]，”In“：[18,60]，”previous“：[19]，”work“：[20]，”we“：[21,63111]，”show“：[22]，”that“：[23,39,70,82113]，”Linear-time“：[24]，”Temporal“：[25]，”Logic“：[26]，”（LTL）“：[27]，“can”：[28,73,87117142152]，”be“：[29,74,88118143153]，”used“：[30,75154]，”type“：[33]，”系统“：[34]，”用于“：[35,48,57100159]，”离散时间“：[36]，”FRP，“：[37]，”和“：[38,53,81,96136]，“反应”：[41,85102109]，“原语”：[42]，“执行”：[43]，“两个”：[44]，“角色：”：[45]，“组合词”：[47,72]，“构建”：[49]，“流”：[50,78132]，“of”：[51,79107133140164]，“数据”：[52]，“证明”：[55]，“规则”：[56]，“构造”：[58,93]，“LTL.”：[59]，“此”：[61]，“论文”：[62]，“添加”：[64]，“第三个”：[66]，“角色”：[67]，“作者”：[68]，“显示”：[69]，“FRP”：[71121]，“define”：[77]，“types”：[80110]，“these”：[83]，“类型”：[86,99]，“viewed”：[89]，“both”：[90]，“temporal”：[94167]，“logic”，“：[95]，“the”：[98]，“programs.”：[103]，“As”：[104]，“application”：[106]，“show”：[112]，“past-time”：114]，“LTL”：[115]，“（pLTL）”：[116]，“扩展“：[119]，“get”：[123]，“logic”：[125128]，“pLTL+FRP.”：[126]，“This”：[127]，“expressed”：[130]，“布尔”：[134]，“表达式”，“：[135]，“so”：[137]，“有界”：[138]，“可满足性”：[139]，“pLTL”：[141]，“已翻译”：[144]，“满足性”:[146]，“模”：[147]，“理论”：[148]，“（SMT）.”：[149]，“因此，”：[150]，“pLTL+FRP”：[151]，“约束”：[157]，“语言”：[158]，“问题”：[160]，“which”：[161]，“混合”：[162]，“属性”：[163]，“特性”：[168]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2045396951“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”年份“：2016，”cited_by_count“：1}，{“年份”：2015，”cited_by_count”：1}]，“updated_date”：“2024-09-15T22:41:43.394520“，”创建日期“：”2016-06-24“}