{“id”：“https://openalex.org/W1517572804“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_11“，”title“：”程序理解的依赖类型“，”display_name“：”程序理解的依赖类型“，”publication_year“：2005，”publication_date“：”2005-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1517572804“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_11“，”mag“：”1517572804“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_11.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_11.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5068228424“，”display_name“：”Raghavan Komondoor“，”orcid“：”https://orcid.org/0009-0005-8657-4658“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Raghavan Komondoor“，”raw _affiliation_string“：[”IBM Research“]，”affiliations“：”[{“raw_affiliation _string”：“IBM Researching”，“institution_ids”：[]}“，”author_position“：”middle“，”author“：”{“id”：“”https://openalex.org/A5005900665“，”display_name“：”G.Ramalingam“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_correresponsing“：false，”raw_author_name“：”G.Ramalingam“，”raw_affiation_strings“：[”IBM Research，“]，”affiliations“：[｛”raw_affiation_string“：”IBM Research，“，”institution_ids“：[]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5101965118“，”display_name“：”Satish Chandra“，”orcid“：”https://orcid.org/0000-0003-2546-9000“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Satish Chandra“，”raw _affiliation_string“：[”IBM Research“]，”affiliations“：”[{“raw_affiliation _string”：“IBM Researching”，“institution_ids”：[]}，{“author_position”：“last”，“author”：{“id”：“”https://openalex.org/A5034359692“，”display_name“：”John K.Field“，”orcid“：”https://orcid.org/0000-0003-3951-6365“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”John Field“，”raw _affiliation_string“：[”IBM Research“]，”affiliations“：”[{“raw_affiliation _string”：“IBM Researching”，“institution_ids”：[]}]，“countries_distiction_count”：0，“institiations_distition_count“：0，”corresponding_author_ids“：[]]，”correcondition_institution _id“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.231，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：25，”citation_normalized_percentile“：{“value”：0.894768，“is_in_top_1_percent”：false，“is_in_top_10_percennt”：false}，“cited_by_count”年份：{“最小”：88，“最大”：89}，“书目”：{volume“：null，”issue“：nul，”first_page“：”157“，”last_page“：”173“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9994，“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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9994，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9992，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9931，”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/keywords/cobol网站“，”display_name“：”COBOL“，”score“：0.91379154}，{”id“：”https://openalex.org/keywords/data-type“，”display_name“：”数据类型“，”score“：0.56199855}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.53591}，{”id“：”https://openalex.org/keywords/code-clone-detection网站“，”display_name“：”代码克隆检测“，”score“：0.513361}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.505111}，{”id“：”https://openalex.org/keywords/type-safety“，”display_name“：”类型安全“，”score“：0.45905125}]，”概念“：[{”id“：”https://openalex.org/C128595289，“wikidata”：https://www.wikidata.org/wiki/Q131140“，”display_name“：”COBOL“，”level“：2，”score“：0.91379154}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.91013795｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7717153｝，｛”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.7391307}，{”id“：”https://openalex.org/C138958017，“wikidata”：https://www.wikidata.org/wiki/Q190087“，”display_name“：”数据类型“，”level“：2，”score“：0.56199855}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.51592976}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.502445}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.47117406}，{”id“：”https://openalex.org/C44779574，“wikidata”：https://www.wikidata.org/wiki/Q736866“，”display_name“：”类型安全“，”级别“：2，”分数“：0.45905125}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.4147132｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38606793}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.24467537}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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.1007/978-3-540-31980-1_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_11.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“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.1007/978-3-540-31980-1_11，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_11.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：14，”https://openalex.org/W1651242740","https://openalex.org/W185339439","https://openalex.org/W1998017916","https://openalex.org/W2005192022","https://openalex.org/W2039906702","https://openalex.org/W2060389467","https://openalex.org/W2060440626","https://openalex.org/W2103318645","https://openalex.org/W2107521173","https://openalex.org/W2112481005","https://openalex.org/W2149901829","https://openalex.org/W2163319971","https://openalex.org/W3106729728","https://openalex.org/W36538684“]，”related_works“：[”https://openalex.org/W3141365533","https://openalex.org/W2584819674","https://openalex.org/W2580832289","https://openalex.org/W2561504266","https://openalex.org/W2129345992","https://openalex.org/W2112150205","https://openalex.org/W1863566242","https://openalex.org/W1726238843","https://openalex.org/W1524962260","https://openalex.org/W1517572804“]，”abstract_inverted_index“：{”Weakly-typed“：[0]，”languages“：[1]，”such“：[2]，”as“：[3]，”Cobol“：[4,57]，”commery“：[5]，”force“：[6]，”programmers“：[7]，”to“：[8,26,76,84]，”representation“：[9]，”distinct“：[10]，”data“：[11,29]，”抽象“：[12,30]，”using“：[13,3]，”the“：[14]”，“same”：[15]，“low”：[16]，“physical”：[17]，“type.”：[18]，“In”：[19]，“this”：[20]，“paper”：[21]，“we”：[22,45]，“describe”：[23]，“a”：[24,38,49,60,86]，“technology”：[25,72]，“recover”：[27]，“implicity-defined”：[28]，“from”：[31]，“programs”：[32]，“type”：[34]，“inference.”：[35]，“we”：[3]，“present”：[37]，“newow”：[39]，“system”：%40]，“of”：[41,63,69,88]，“dependent”：[42]，“类型”：[43,55]，“which”：[44]，“call”：[46]，“guard”：[47,54,65]，“types”，“：[48]，“path-sensitive”：[50]，“算法”：[51]，“for”：[52,56,80]，“推断”：[53]，“程序”，：[58]，“和”：[59,83]，“语义”：[61]，“特征描述”：[62]，“正确”：[64]，“键入”：[66]，“The”：[67]，“results”：[68]，“our”：[70]，“推理”：[71]，“can”：[73]，“be”：[74]，“used”：[75]，“增强”：[77]，“程序”：[78,90]，“理解”：[79]，“遗留”：[81]，“应用程序”，：[82]，“启用”：[85]，“数字”：[87]，“基于类型”：[89]，“转换”：[91]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1517572804“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：1}，{“年度”：2016，”cited_by_count”：1}.，{”year“:2015，”citecd_by_count“：1}，”{“年”：2012，”citesd_by_count“:3}]，”updated_date“：”2024-08-14T02:55:52.595765“，”created_date:“2016-06-24”}