{“id”：“https://openalex.org/W1998702072“，”doi“：”https://doi.org/10.1145/41625.41638“，”title“：”On strictness and its analysis“，”display_name“：”On-strictness and its analysis“，“publication_year”：1987，”publication_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W1998702072“，”doi“：”https://doi.org/10.1145/41625.41638“，”mag“：”1998702072“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41638，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41638“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41638“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5003434702“，”display_name“：”Tsung-Min Kuo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}，{”id“：”https://openalex.org/I1327163397“，”display_name“：”纽约州立大学“，”ror“：”https://ror.org/01q1z8k08“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I1327163397“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”T.-M.Kuo“，”raw _ afiliation_strings“：[“纽约州立大学石溪分校计算机科学系，Stony Brook，Stony布鲁克，New York”]，”affiliations“：”纽约州立大学计算机科学系，地址：Stony Brook，Stony Broak，New York“，“institution_ids”：[“https://openalex.org/I59553526","https://openalex.org/I1327163397“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5101401651“，”display_name“：”Prateek Mishra“，”orcid“：”https://orcid.org/0000-0002-3262-1173}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}，{”id“：”https://openalex.org/I1327163397“，”display_name“：”纽约州立大学“，”ror“：”https://ror.org/01q1z8k08“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I1327163397“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”P.Mishra“，”raw _ affiliation_strings“：[“纽约州立大学石溪分校计算机科学系”，“affiliation”：[{“raw_affiliation_string”：“纽约州立大学计算机科学系，地址：Stony Brook，Stony Broak，New York“，“institution_ids”：[“https://openalex.org/I59553526","https://openalex.org/I1327163397“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：1.163，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：14，”citation_normalized_percentile“：{”value“：0.738404，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，“cited_by_percentle_year”：｛“min”：82，“max”：83｝，“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.9998，”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.9998，”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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9869，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9862，“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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.52058}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.518148}，{”id“：”https://openalex.org/keywords/requirements-traceability“，”“display_name”：“需求可追溯性”，“score”：0.507369}，{“id”：“https://openalex.org/keywords/rule-of-inference网站“，”display_name“：”推理规则“，”score“：0.504531｝，｛”id“：”https://openalex.org/keywords/dependent-type“，”display_name“：”从属类型“，”score“：0.47361207}]，”concepts“：[{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.72853917}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.63881195}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.5437558}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.52339274}，{”id“：”https://openalex.org/C3746660，“wikidata”：https://www.wikidata.org/wiki/Q1068763“，”display_name“：”推理规则“，”level“：2，”score“：0.504531}，{”id“：”https://openalex.org/C20528804，“wikidata”：https://www.wikidata.org/wiki/Q997433“，”display_name“：”从属类型“，”level“：3，”score“：0.47361207}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.46689782}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4598246}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42829412}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.37869918}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.3638144}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.35517842}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16148803}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”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，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41638，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41638“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41638，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41638“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W134022380","https://openalex.org/W1512248102","https://openalex.org/W1526879784","https://openalex.org/W1537394154","https://openalex.org/W1604342352","https://openalex.org/W1968185772","https://openalex.org/W1969093922","https://openalex.org/W1992520783","https://openalex.org/W2048115385","https://openalex.org/W2064596811","https://openalex.org/W2071457257","https://openalex.org/W2090415524","https://openalex.org/W2154273644","https://openalex.org/W2160453029","https://openalex.org/W21639766959","https://openalex.org/W2166822586","https://openalex.org/W2184268586","https://openalex.org/W2212036697","https://openalex.org/W303971174“]，”related_works“：[”https://openalex.org/W3021962464","https://openalex.org/W2132201171","https://openalex.org/W2129762978","https://openalex.org/W2086221190","https://openalex.org/W2003295197","https://openalex.org/W1599788127","https://openalex.org/W1592799753","https://openalex.org/W1544708439","https://openalex.org/W1515290450","https://openalex.org/W119268553“]，”abstract_inverted_index“：{”We“：[0,15,55]，”study“：[1]，”the“：[2,6,26,33,39,80,96173176]，”strictness“：[3,18,40,50,66,72,81110136161179]，”problem“：[4,41177]，”for“：[5,10,25,49133]，”untyped“：[7,34]，”lambda-calculus“：[8]，”and“：[9,22,44,75160]，”an“：[11]，”ML-like“：[12]，“类型化”：[13,58]，“微积分”：[14]，“建立”：[16]，““：[17,38,57,79106155175]，”是“：[19,42,73,77113171181]，”a“：[20,46,61,84,90130152165182]，”必需“：[21]，”充足“：[23]，”条件“：[24]，”\u201ceager\u201d“：[27]，”评估“：[28]，”of“：[29,52,65,71,83,92102138178185]，”函数“：[30]，”参数。“：[31]，”对于“：[32146]，”微积分“：[35]，”我们“：[36150]，”显示“：[37,56]，”基本“：[43]，”描述“：[45151]，”完成“：[47]，”算法“：[48]，”分析“：[51162180]，”收敛“：[53]，”术语。“：[54]，“terms”：[59139]，“have”：[60]，“much”：[62]，“richere”：[63]，“set”：[64101]，“properties”。“：[67]，”A“：[68100]，”类型理论“：[69]，”特征描述“：[70]，”开发“：[74]，”it“：[76]，”显示“：[78119]，”属性“：[82137]，”术语“：[85,98]，”can“：[86]，”be“：[87121]，”representative“：[88]，”as“：[89]，”collection“：[91]，”types“：[93112]，”related“：[94111]，”to“：[95120]，”standard“：[97]，”类型。“：[99145]，”类型“：[103124158186]，”推断“：[104116]，”规则“：[105117]，”支持“：[107]，”推理“：[108134]，”关于“：[109135]，”给定。“：[114]，”The“：[115]，”are“：[118]，”invariant“：[122]，”under“：[123]，”change“：[125]，”by“：[126140]，”substitution。“：[127]，“This”：[128]，“provides”：[129]，“sound”：[131]，“basis”：[132]，“considering”：[141]，“only”：[142]，“their”：[143]，“principal”：[144]，“our”：%147]，“final”：%148]，“result”：:149]，“practical”：/153]，“system”：154]，“carries”：%156]，“out”：[157]，“checking”：%159]，“symporally”：[163]，“in”：[164]，“统一”：[166]，“框架”：[167]，“我们的”：[168]，“主要”：[169]，“结果“：[170]，”因此“：[172]，”发现“：[174]，”特殊“：[183]，”案例“：[184]，”推断。“：[187]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1998702072“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-08-14T05:47:12.367505“，”创建日期“：“2016-06-24”}