{“id”：“https://openalex.org/W4386621625“，”doi“：”https://doi.org/10.1145/3622865“，”title“：”Historia:使用消息历史逻辑拒绝回调可访问性“，”display_name“：”Historia:通过消息历史逻辑拒回调可访问”，“publication_year”：2023，“publiation_date”：“2023-10-16”，“ids”：{“openalex”：“https://openalex.org/W4386621625“，”doi“：”https://doi.org/10.1145/3622865“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3622865，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3622865，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM程序设计语言会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”arxiv“，”crossref“，”datacite“]，‘open_access’：{”is_oa“：true”：“gold”，“oa_url”：“https://dl.acm.org/doi/pdf/10.1145/3622865“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5008715344“，”display_name“：”Shawn Meier“，”orcid“：”https://orcid.org/0000-0002-1349-4316}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”Shawn Meier“，”raw_affiation_strings“：[”科罗拉多大学博尔德分校，美国博尔德“]，”附属机构“：[｛”raw_affiation_string“：”科罗拉多大学博尔德分校，美国博尔德“，”institution_ids“：[”https://openalex.org/I188538660“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547}，“机构”：[{“id”：https://openalex.org/I142476485“，”display_name“：”\u00c9cole Polytechnique“，”ror“：”https://ror.org/05hy3tk52“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I142476485","https://openalex.org/I4210145102“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _affiliation_strings“：[“\u00c9cole Polytechnique-CNRS-Institute Polytech de Paris，Palaiseau，France”]，“afliations”：[{“raw_affiliation _string”：“\u00 c9cole-Polytechanique-CNRS-institution Polytich de Paria，Palaisseau，Frence”，“institution_ids”：[”https://openalex.org/I142476485","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5046506172“，”display_name“：”Gowtham Kaki“，”orcid“：”https://orcid.org/0000-0002-4189-3189}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Gowtham Kaki“，”raw _ afiliation_strings“：[“美国科罗拉多大学博尔德分校”]，”affiliations“：[{”raw _affiliation_strong“：”美国科罗拉多博尔德大学“，”institution_ids“：[https://openalex.org/I188538660“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048756174“，”display_name“：”Bor-Yuh Evan Chang“，”orcid“：”https://orcid.org/0000-0002-1954-0774}，“机构”：[{“id”：https://openalex.org/I1311688040“，”display_name“：”亚马逊（美国）“，”ror“：”https://ror.org/04mv4n011“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1311688040“]}，{”id“：”https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Bor-Yuh Evan Chang“，”raw _ affiliation_strings“：[“美国科罗拉多大学博尔德分校/美国亚马逊博尔德分校”]，”affiliation“：[{”raw _affiliation_string“：”美国科罗拉多博尔德大学/美国博尔德亚马逊分校”，“institution_ids”：[”https://openalex.org/I1311688040","https://openalex.org/I188538660“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：4，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]，“apc_list”：null，”apc_payed“：null”，“fwci”：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”citation_normalized_percentile“：{”value“：0.0”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：0，”max“：71}，“biblio”：{“volume”：“7”，“issue”：“OOPSLA2”，“first_page”：“1905”，“last_page”：”1934https://openalex.org/T11241“，”“display_name”：“Android恶意软件的特征和检测”，“score”：0.9999，“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/T11241“，”“display_name”：“Android恶意软件的特征和检测”，“score”：0.9999，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9978，“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/keywords/回调“，”display_name“：”回调“，”score“：0.9787927}，{”id“：”https://openalex.org/keywords/control-flow网站“，”display_name“：”控制流“，”score“：0.6253912}，{”id“：”https://openalex.org/keywords/programmer网站“，”display_name“：”Programmer“，”score“：0.62098306}，{”id“：”https://openalex.org/keywords/requirements-traceability“，”display_name“：”需求可追溯性“，”score“：0.521078｝，｛”id“：”https://openalex.org/keywords/undeditable-problem“，”display_name“：”Undecitable problem“，”score“：0.51019526}]，”concepts“：[{”id“：”https://openalex.org/C204495577，“wikidata”：https://www.wikidata.org/wiki/Q1205349“，”display_name“：”Callback“，”level“：2，”score“：0.9787927}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7795917}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.6579431}，{”id“：”https://openalex.org/C160191386，“wikidata”：https://www.wikidata.org/wiki/Q868299“，”display_name“：”控制流“，”level“：2，”score“：0.6253912}，{”id“：”https://openalex.org/C2778514511，“wikidata”：https://www.wikidata.org/wiki/Q1374194“，”display_name“：”Programmer“，”level“：2，”score“：0.62098306}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5970824}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.5643747}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.51019526}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.44856828}，{”id“：”https://openalex.org/C2779662365，“wikidata”：https://www.wikidata.org/wiki/Q5416694“，”display_name“：”Event（particle physics）“，”level“：2，”score“：0.4443267}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35772222}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.30306002}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3622865，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3622865，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM程序设计语言会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-04435159，“pdf_url”：https://hal.science/hal-04435159/document“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2309.04464，“pdf_url”：https://arxiv.org/pdf/2309.04464，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.science/hal-04435159/file/main.pdf，“pdf_url”：https://hal.science/hal-04435159/file/main.pdf“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.2309.04464“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”host_organization_name“：”DataCite“，”host_organization_lineage“：[”https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3622865，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3622865，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”美国计算机学会编程语言会议记录“，”issn_l“：”2475-1421“，”issn“：[”2475-1421“]，”is_oa“：true，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320306076“，”funder_display_name“：”国家科学基金会“，”award_id“：”CCF-2008369“}]，“数据集”：[]，“版本”：[“https://openalex.org/W4386621625“]，”referenced_works_count“：37，”referrenced_works“：[”https://openalex.org/W1480909796","https://openalex.org/W1491593738","https://openalex.org/W1506588809","https://openalex.org/W1580779595","https://openalex.org/W1761411969","https://openalex.org/W1959797194","https://openalex.org/W1969708702网址","https://openalex.org/W1985752637","https://openalex.org/W1990471574","https://openalex.org/W1990708398","https://openalex.org/W2006413814","https://openalex.org/W2017025011","https://openalex.org/W2056025285","https://openalex.org/W206636664","https://openalex.org/W2080661536","https://openalex.org/W2093080079","https://openalex.org/W2127882277","https://openalex.org/W2134732158","https://openalex.org/W2137628566","https://openalex.org/W2166743230","https://openalex.org/W2170612356","https://openalex.org/W2377819450","https://openalex.org/W2385667943","https://openalex.org/W2486032082","https://openalex.org/W2518211214","https://openalex.org/W2794168745","https://openalex.org/W2888471092","https://openalex.org/W2909967880","https://openalex.org/W2951489206","https://openalex.org/W2960973085","https://openalex.org/W2963870476","https://openalex.org/W2964232059","https://openalex.org/W3105242126","https://openalex.org/W4234590960","https://openalex.org/W4240601173","https://openalex.org/W4256027310","https://openalex.org/W777621473“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2170336571","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W2020140696","https://openalex.org/W1501430220“]，”abstract_inverted_index“：{”This“：[0,54]，”paper“：[1]，”considers“：[2]，”the“：[3,46,52,57,66128157175182189209247312]，”callback“：[4,11,58,98129178235269]，”reachability“：[5]，”problem“：[6]，”---“：[7170]，”determining“：[8]，”if“：[3]，”a“：[101241371722192292392250255266274]，”can“：[12132]，“be”：[13133]，“called”：[14279]通过“：[15,45,85154]，”an“：[16,20,87212260]，”事件驱动“：[17]，”framework“：[18,47,89168]，”in“：[19136238249318]，”unexpected“：[21]，”state。“：[22]，“事件驱动”：[23]，“编程”：[24]，“框架”：[25]，“are”：[26]，“普适”：[27]，“for”：[28,65,72223233]，“creating”：[29]，“user-interactive”：[30]，“applications”：[31]，“（apps）”：[32]，“on”：[33297]，”just“：[34]，”about“：[35156262]，”every“：[36]，”现代“：[37]，”平台。“：[38]，“控制”：[39]，“流”：[40,6013180237]，“介于”：[41165292]，“回调”：[42]，“是”：[43,69103153287]，“确定”：[44]，“和”：[48116167197224281294304]，“大部分”：[49]，“不透明”：[50]，“到”：[51,93107118140148201245257]，”程序员。“：[53]，”不透明度“：[55,83]，”的“：[56143159174177184211268290314]，”控制“：[59,99130179236270]，”不是“：[61]，”只是“：[62]，”原因“：[63]，”困难“：[64]，”程序员“：[67]，”但是“：[68101]，”也“：[70]，“困难”：[71]，”那些“：[73]，”开发“：[74]，”静态“：[75,78]，”分析。“：[76]，”Previous“：[77]，”analysis“：[79183]，”technologies“：[80]，”address“：[81]，”this“：+82102150203]，”either“：[84104]，”subsident“：[86]，”as任意“：[88]，”implementation“：[90]，”or“：[91113]，”trying“：[92]，”急切“：[94]，”specify“：[95]，”all“：[96]，”possible“：[97]，”flow“：[100]，”too“：[105114]，“粗糙”：[106]，“证明”：[108141]，“属性”：[109]，“requirement“：[110]，”callback-ordering“：[111]，”constraints“：[112]，”durbosome“：[115]，”tripple“：[117]，”get“：[1119149]，”right“。“：[120]，”“相反，”：[121]，“我们”：[12207253]，“现在”：[123]，“中间”：[125151]，“方式”：[126152256]，“其中”：[127]，“逐渐”：[134]，“精炼”：[135]，“目标”：[138240307]，“态度”：[139]，“断言”：[142]，“兴趣”。“：[144]，”The“：[145]，”key“：[146]，”insight“：[147]，”reasoning“：[155]，”history“：[158]，”method“：[160]，”invocations“：[161194]，”at“：[162]，”boundary“：164217]，”app“：/166185]，”code“：[169]，”enable“：[171]，”decoupling“：[173]，”specification“：176231267308]，”from“：[181301]，”code。“：[186]，“We”：[187272]，“call”：[188]，“sequence”：[190]，“such”：[192226]，“boundary-method”：[193]，“message”：[195263276]，“histories”：[196264]，“develop”：[C98]，“message-history”：[199220]，“logics”：[200248]，“do”：[2020]，“reasoning”。“：[204]，”In“：[205]，”specific“：[206]，”define“：[208254]，”concept“：[210]，”application-only“：[213]，”transition“：[214]，”system“：[215]，”with“：/216225265]，“transitions”：[218227]，”program“：[221]，”logic“：[222323]，”programs“：[224]，”timeal“捕获”：[234]，“合成”。“：[243]，”Then“：[244]，”use“：[246]，”goal-directed“：[251]，”verifier“：[252]，”combine“：[258]，”after-the-fact“：[259]，”assertion“：[261]，”flow“。“：[271]，”已实现“：[273]，”原型“：[275]，”基于历史的“：[277]，”验证器“：[278]，”历史记录“：[280]，”提供“：[282]，”证据“：[283]，”该“：[284305]，”我们的“：/285306]，”方法“：[286309]，”唯一“：[288]，”能力“：[289]，”区分“：[291]，”错误“：[293]，”固定“：[295]，”版本“：[296]，”挑战“：[298]，”示例“：[299]，”绘制“：[300]，”真实世界“：[302319]，“问题”：[303]，“启用”：[310]，“证明”：[311]，“缺席”：[316]，“多回拨”：[335]，“错误”：[326]，“模式”：[31.7]，“开源”：[320]，“安卓”：[32.1]，”应用程序。“：[322]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4386621625“，”counts_by_year“：[]，”updated_date“：”2024-09-19T13:46:08.121766“，”created_date:“2023-09-12”}“