｛“id”：“https://openalex.org/W2129788677“，”doi“：”https://doi.org/10.1007/3-540-57887-0_102“，”title“：”使用ML-ART对具有抽象和记录类型的ML进行扩展的编程对象“，”display_name“：”用ML-ART编程对象是具有抽象和纪录类型的ML-的扩展“，”publication_year“：1994，”publiction_date“：”1994-01-01“，”ids“：{”openalex“：”https://openalex.org/W2129788677“，”doi“：”https://doi.org/10.1007/3-540-57887-0_102“，”mag“：”2129788677“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_102“，”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”：true，“oa_status”：“green”，“oa_url”：http://gallium.inria.fr/~remy/ftp/tacs94.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5085438928“，”display_name“：”Didier R\u00e9my“，”orcid“：”https://orcid.org/0000-0002-0693-6278}，“机构”：[{“id”：https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Didier R\u00e9my“，”raw _affiliation_strings“：[“INIRI-Rocquencourt，BP 105，F-78153，Le Chesnay Cedex”]，“affiliations”：[{“raw_affilition_string”：“INIRA-Rocquenchourt，英国石油公司105，F-78 153，勒Chesnay Cedex”，“institution_ids”：[”https://openalex.org/I1326498283“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5085438928“]，”对应的机构ID“：[”https://openalex.org/I1326498283“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：6.321，”has_fulltext“：false，”cited_by_count“：51，”citted_by_percentile_year“：{“min”：93，”max“：94}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“321”，“lastage”：“346”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9948，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9937，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.5126}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.504001}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.82331824}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.75316346}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.7011657}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6726377｝，｛”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.61880654}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.5272768}，{”id“：”https://openalex.org/C2781238097，“wikidata”：https://www.wikidata.org/wiki/Q175026“，”display_name“：”Object（grammar）“，”level“：2，”score“：0.49500602}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4907347}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48923635}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.47844484}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.46097225｝，｛”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.43337366}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.22264498}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”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.1007/3-540-57887-0_102“，”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}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.470.4267，“pdf_url”：http://gallium.inria.fr/~remy/ftp/tacs94.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.470.4267，“pdf_url”：http://gallium.inria.fr/~remy/ftp/tacs94.pdf“，”来源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：13，“referrenced_works”：https://openalex.org/W1549804464","https://openalex.org/W1822389052","https://openalex.org/W1968889995","https://openalex.org/W1990365157网址","https://openalex.org/W2000735653","https://openalex.org/W2022443117","https://openalex.org/W2090959968","https://openalex.org/W2113239150","https://openalex.org/W2113722134","https://openalex.org/W2153895433","https://openalex.org/W2154294048","https://openalex.org/W2173184982","https://openalex.org/W4236036677“]，”related_works“：[”https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W2950376466","https://openalex.org/W2949331520","https://openalex.org/W2621980927","https://openalex.org/W2466303427","https://openalex.org/W2140496290","https://openalex.org/W2000943029","https://openalex.org/W1578828174","https://openalex.org/W1511249877“]，”ngrams_url“：”https://api.openalex.org/works/W2129788677/ngrams“，”“abstract_inverted_index”：{“Class-based”：[0]，“objects”：[1,54,64]，“can”：[2]，“be”：[3]，“programmed”：[4]，“direct”：[5]，“and”：[6,21,35,81,84]，“effectively”：[7]，“in”：[8]，“a”：[9,94]，“simple”：[10]，“extension”：[11]，“to”：[12,38,43,55]，“ML.”：[13]，“The”：[14,72]，88]，“表示”：[15,62]，“of”：[16,58,63]，“objects”，“：[17]，“based”：[18]，“on”：[19,67]，“抽象“：[20]，”记录“：[22]，”类型“：[23,79,83]，”允许“：[24]，”全部“：[25]，”通常“：[26]，”操作“：[27]，”这样“：[28]，”作为“：[29,40,42]，”多重“：[30]，”继承“：[31]，”对象“：[32]，”返回“：[33]，”能力“：[34]，”消息“：[36]，”传输“：[37]，”自身“：[39]，”well“：[41]，“他们的”：[44]，“超级”：[45]，“班级”。“：[46]，”There“：[47]，”is“：[48]，”然而，“：[49]，”no“：[50]，”implicate“：[51]，”convertization“：[52]，”from“：[53]，”corresponding“：[56]，”ones“：[57]，”super-classes“。描述了“：[59]，“A”：[60]，“simpler”：[61]，“without”：[65]，“recursion”：[66]，“values”：[68]，“is”：[69,91101]，“also”：[70]。“：[71]，”基础“：[73]，”语言“：[74,89]，”扩展“：[75]，”ML“：[76]，”with“：77,93]，”递归“：[78]，”存在“：[80]，”通用“：[82]，”可变“：[85]，”可扩展“：+86]，”记录。“：[87]，”ML-ART“：[90]，”给定“：[92]，”调用-值“：[95]，”语义“：[96]，”for“：[97]，”which“：[98]，”type“：[99]，”稳健性“：[100]，”proved。“：[102]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2129788677“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2015，”ciped_by_cunt“：2}，”{“年”：2014，“cited_by_count”：1}，{”年“：2013，”cited_by_count