{“id”：“https://openalex.org/W1683965264“，”doi“：”https://doi.org/10.1007/3-540-48959-2_8“，”title“：”带代数数据类型的PCF的Useless-Code检测和消除“，”display_name“：”带有代数数据类型PCF的Uless-Code检测和消除”，“publication_year”：1999，“publiation_date”：“1999-01-01”，“ids”：{“openalex”：“https://openalex.org/W1683965264“，”doi“：”https://doi.org/10.1007/3-540-48959-2_8“，”mag“：”1683965264“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5065182304“，”display_name“：”Ferruccio Damiani“，”orcid“：”https://orcid.org/0000-0001-8109-1706}，“机构”：[{“id”：https://openalex.org/I55143463“，”display_name“：”都灵大学“，”ror“：”https://ror.org/048tbm396“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I55143463“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Ferruccio Damiani“，”raw _affiliation_strings“：[“Dipartimento di Informatica，University \u00e0 di Torino，Corso Svizzera 185，10149，Torino（意大利都灵）”]}]，“countries_distiction_count”：1，“institutions_distition_count“：1，”corresponding_author_ids“：]”https://openalex.org/A5065182304“]，”对应的机构ID“：[”https://openalex.org/I55143463“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：5，“cited_by_percentile_year”：{“min”：74，“max”：76}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“83”，“last_page”：“97”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.997，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9944，“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/model-checking“，”display_name“：”模型检查“，”score“：0.477797}]，”concepts“：[{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”display_name“：”Code（set theory）“，”level“：3，”score“：0.54205114}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5398324}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42271662}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-48959-2_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：8，”referenced_works“：[”https://openalex.org/W1514992909","https://openalex.org/W1560253649","https://openalex.org/W2007270285","https://openalex.org/W2035401157","https://openalex.org/W2062108951","https://openalex.org/W2086054252","https://openalex.org/W2131558630","https://openalex.org/W2990518766“]，”related_works“：[”https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W2384847609","https://openalex.org/W2380602769","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W1527862632网址“]，”ngrams_url“：”https://api.openalex.org/works/W1683965264/ngrams“，”“abstract_inverted_index”：{“We”：[0,26]，“present”：[1]，“a”：[2,58]，“unstandard”：[3]，“type”：[4]，“assignment”：[5]，“system”：⑹，“and”：[7,12,23,45]，“simplifications”：[8]，“mapping”：[9]，“for”：[10]，“detecting”：[11]，“removing”：[13]，“useless-code”：14]，“in”：[15]，”“simply”：[16]，“类型化”：[17]，“函数型”：[18]，“程序”：[19]，“with”：[20,57]，“代数型”：[21]，“数据类型“：[22]，”递归“：[24]，”函数。“：[25]，”characterize“：[27]，”two“：[28]，”classes“：[29]，”of“：[30,61]，”useless-code:“：[31]，”the“：[32,42,46,54]，”dead-code，“：[33]，”that“：[34,37,48,51]，”is“：[35,38,49]，”code“：[36,50]，”never“：[39]，”executeded“：[40]，”under“：[41]，”lazy-call-by-name“：[43]，“评估”：[44]，“最小信息代码”：[47]，“贡献”：[52]，“到”：[53]，“计算”：[55]仅“：[56]，”最小值“：[59]，”金额“：[60]，”常量“：[62]，”信息。“：[63]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1683965264“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}]，”updated_date“：”2024-05-13T03:09:31.331696“，”created_dates“：”2016-06-24“}