{“id”：“https://openalex.org/W1993592642“，”doi“：”https://doi.org/10.1145/800017.800535“，”title“：”应用程序属性的静态推断“，”display_name“：”静态推断应用程序属性“，”publication_year“：1984，”publitation_date“：”1984-01-01“，”ids“：{”openalex“：”https://openalex.org/W1993592642“，”doi“：”https://doi.org/10.1145/800017.800535“，”mag“：”1993592642“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/800017.800535“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://portal.acm.org/ft_gateway.cfm？id=800535&type=pdf&CFID=34808507&CFTOKEN=75927977“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5101401651“，”display_name“：”Prateek Mishra“，”orcid“：”https://orcid.org/0000-0002-3262-1173}，“机构”：[{“id”：https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Prateek Mishra“，”raw _ afiliation_strings“：[“犹他州盐湖城犹他大学计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”犹他州盐湖城犹它州犹他大学计算科学系”，“institution_ids”：[“https://openalex.org/I223532165“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048831245“，”display_name“：”Robert Keller“，”orcid“：”https://orcid.org/0000-0001-7097-1724“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Robert M.Keller“，”raw_affiliation_strings“：[]，“affiliations”：[]}]，“countries_distiction_count”：1，“institutions_disticenc_count“：1，”corresponding_author_ids“：[].，”correcponding_institution_ids”：[]“apc_list”：null，“apc_payed”：nul，“fwci”：3.427，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”citation_normalized_percentile“：{”value“：0.633181，”is_in_top_1_percent“：false，”is_ in_top_ 10_percents“：false}，”citecd_by_percentile_year“:{”min“：80，”max“：81}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：null，”last_page“：null}，：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9979，“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/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9945，”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/denotation网站“，”display_name“：”表示（符号学）“，”score“：0.7079973}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.665201}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.545074}，{”id“：”https://openalex.org/keywords/api-usage-patterns网站“，”display_name“：”API用法模式“，”score“：0.526824}，{”id“：”https://openalex.org/keywords/static-analysis网站“，”display_name“：”静态分析“，”score“：0.500782}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.486069}]，”concepts“：[{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.781227}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77857053｝，｛”id“：”https://openalex.org/C149106765，“wikidata”：https://www.wikidata.org/wiki/Q1982453“，”display_name“：”表示（符号学）“，”level“：3，”score“：0.7079973}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.70651406}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.697393}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.6126544}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”领域（数学分析）“，”级别“：2，”分数“：0.61006445｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.57087624}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076网址“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.5493814}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.54118484}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”Computation“，”level“：2，”score“：0.536486｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5159772}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.486069}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.33095312}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.18522835}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”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/C139997677，“wikidata”：https://www.wikidata.org/wiki/Q60195“，”display_name“：”符号学“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/800017.800535“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://portal.acm.org/ft_gateway.cfm？id=800535&type=pdf&CFID=34808507&CFTOKEN=75927977，“pdf_url”：http://portal.acm.org/ft_gateway.cfm？id=800535&type=pdf&CFID=34808507&CFTOKEN=75927977，“源”：{“id”：https://openalex.org/S4377196412“，”display_name“：”奖学金-克莱蒙特（克莱蒙特学院）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I872248612“，”“host_organization_name”：“克莱蒙特学院”，“host_organization_lineage”：[“https://openalex.org/I872248612“]，”host_organization_lineage_names“：[”Claremont Colleges“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://portal.acm.org/ft_gateway.cfm？id=800535&type=pdf&CFID=34808507&CFTOKEN=75927977，“pdf_url”：http://portal.acm.org/ft_gateway.cfm？id=800535&type=pdf&CFID=34808507&CFTOKEN=75927977，“源”：{“id”：https://openalex.org/S4377196412“，”display_name“：”奖学金-克莱蒙特（克莱蒙特学院）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I872248612“，”“host_organization_name”：“克莱蒙特学院”，“host_organization_lineage”：[“https://openalex.org/I872248612“]，”host_organization_lineage_names“：[”Claremont Colleges“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W108782893","https://openalex.org/W1512248102","https://openalex.org/W1562824671","https://openalex.org/W1986388229","https://openalex.org/W1991450942","https://openalex.org/W2015709431","https://openalex.org/W2036748304","https://openalex.org/W2043100293","https://openalex.org/W2048723607","https://openalex.org/W2057329260","https://openalex.org/W2062024564","https://openalex.org/W2092242770","https://openalex.org/W2094945667","https://openalex.org/W2912431422","https://openalex.org/W49331338“]，”related_works“：[”https://openalex.org/W4297831890","https://openalex.org/W4287601783","https://openalex.org/W3022909958","https://openalex.org/W2963764498","https://openalex.org/W2804371217","https://openalex.org/W2078122686","https://openalex.org/W2068383718","https://openalex.org/W1941412300","https://openalex.org/W1836373119","https://openalex.org/W1603809778“]，”abstract_inverted_index“：{”An“：[0]，”applicative“：[1,17132]，”program“：[2]，”表示“：[3]，”a“：[4,30,34,60,64,80,88130]，”function“：[5,28,43]，”mapping“：[6]，”values“：[7]，”from“：[8,29]，”some“：[9,12,48]，”domain“：[10,32]，“to”：[11,24,33]，”range.“：[13]，”abstract“：[14]，“解释”：[15]，“of”：[16,40,67,93120126]，“程序”：[18]，“涉及”：[19]，“使用“：[20109]，”the“：[21,41,55]，”standard“：[22,56]，”denation“：[23]，”describe“：[25102]，”an“：[26]，”abstract“：[27,42,68110]，”\u201csimplified\u201d“：[31,35]，”range“：[36]，”such“：[37,50]，”that“：[38,70]，”computeration“：[39]，”is“：[44]，”effectived“：%45]，”and“：[46,90106117]，“产量”：[47]，“信息”，：[49,53]，“作为”：[51]，“类型”：[52]，“关于”：[54]，“表示。“：[57]，“我们”：[58101]，“开发”：[59,84]，“通用”：[61]，“框架”：[62]，“用于”：[63,87]，“限制”：[65]，“类”：[66,92]，“解释”：[69]，“处理”：[71]，“with”：[72]，“非限制”：[3]，“函数”：[74,97]，“定义”：[75,98]，“on”：[76,99129]，“non-flat”：[77]，“域”。“：[78]，”As“：[79]，”success“：[81]，”we“：+82]，”can“：[83]，”inference“：/85]，”schemes“：-86]，”large“：[89]，”usible“：[91]，”functional“：[94]，”programs“：[95]，”induced“：[96]，”streams。“：[100]，”几个“：[103]，”实用“：[104]，”问题“：[105]，”解决“：[107]，”他们“：[108]，”解释。“：[111]，”这些“：[112]，”包括“：[113]，”推断“：[114]，”次要“：[115]，”签名“：[116]，”相关“：[118]，”子句“：[119]，”函数“：[121]，”其中“：[122]，”有“：[123]，”出现“：[124]，”输出“：[125]，”我们的“：[127]，”工作“：[128]，”强类型“：[131]，”语言。“：[133]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1993592642“，”counts_by_year“：[]，”updated_date“：”2024-08-15T04:57:39.159423“，”创建日期“：”2016-06-24“}