{“id”：“https://openalex.org/W2031678037“，”doi“：”https://doi.org/10.1016/s0304-3975（96）00161-2“，”title“：”抽象数据类型系统“，”display_name“：”Abstract data type systems“，”publication_year“：1997，”publiation_date“：”1997-02-01“，”ids“：{”openalex“：”https://openalex.org/W2031678037“，”doi“：”https://doi.org/10.1016/s0304-3975（96）00161-2“，”mag“：”2031678037“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（96）00161-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/s0304-3975（96）00161-2“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5004958754“，”display_name“：”Jean-Pierre Jouannaud“，”orcid“：”https://orcid.org/0000-0003-4790-9927}，“机构”：[{“id”：https://openalex.org/I102197404“，”display_name“：”Universit\u00e9 Paris-Sud“，”ror“：”https://ror.org/028rypz17“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I102197404“]}，{”id“：”https://openalex.org/I204730241“，”display_name“：”Universit\u00e9 Paris Cit\u00e8“，”ror“：”https://ror.org/05f82e368“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I204730241“]}，{”id“：”https://openalex.org/I4210144804“，”display_name“：”信息实验室“，”ror“：”https://ror.org/04e3ktk27“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Jean-Pierre Jouannaud“，”raw _ afiliation_strings“：[“LRI，Bat.490，CNRS/University\u00e9 de Paris Sud，91405 Orsay，France”]，“afliations”：[{“raw_affiliation_strong”：“LRI（巴塔.490），CNRS/University \u00e 9 de Paris-Sud，91405Orsay（法国奥赛）”，“instits”宪法ID“：[”https://openalex.org/I102197404","https://openalex.org/I204730241","https://openalex.org/I4210144804","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5014701461“，”display_name“：”冈田三郎“，”兽人“：”https://orcid.org/0000-0001-9117-4935}，“机构”：[{“id”：https://openalex.org/I203951103“，”display_name“：”庆应义塾大学“，”ror“：”https://ror.org/02kn6nx58“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I203951103“]}]，”countries“：[”JP“]，”is_corresponding“：true，”raw_author_name“：”Mitsuhiro Okada“，”raw _ afiliation_strings“：【”庆应义塾大学哲学系，日本东京都区108号“】，”affiliations“：[{”raw _affiliation_strong“：”庆应义塾大学，日本东京市108号“，”institution_ids“：[“https://openalex.org/I203951103“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：5，”corresponding_author_ids“：[”https://openalex.org/A5014701461“]，”对应的机构ID“：[”https://openalex.org/I203951103“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2660，”provenance“：”doaj“}，”apc _payd“：null，”fwci“：8.293，”has_fulltext“：false，”cited_by_count“：61，”citation_normalized_percentile“：{”value：0.90232，”is_in_top_1_percent“：false，”is_ in_top_10_percennt“：true}，“cited_by_percentile_year”：{“min”：93，“max”：94}，“biblio”：{“volume”：“173”，“issue”：“2”，“first_page“：”349“，”last_page“：”391“}，”is_retracted“：false，”is_paratext“：fase，”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/T10317“，”display_name“：”数据流管理系统和技术“，”score“：0.9771，”subfield“：｛”id“：”https://openalex.org/subfields/1705“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9729，”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/type-theory网站“，”display_name“：”类型理论“，”score“：0.6052077}，{”id“：”https://openalex.org/keywords/schema网站“，”display_name“：”Schema（遗传算法）“，”score“：0.5969906}，{”id“：”https://openalex.org/keywords/data-type“，”display_name“：”数据类型“，”score“：0.5938531}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.535388}，{”id“：”https://openalex.org/keywords/abstract-data-type“，”display_name“：”抽象数据类型“，”score“：0.5271689｝，｛”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.526438}，{”id“：”https://openalex.org/keywords/order-type“，”display_name“：”订单类型“，”score“：0.49806118}，{”id“：”https://openalex.org/keywords/inductive-reasoning网站“，”display_name“：”归纳推理“，”score“：0.48557776}]，”concepts“：[{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.6052077}，{”id“：”https://openalex.org/C52146309，“wikidata”：https://www.wikidata.org/wiki/Q7431116“，”display_name“：”Schema（遗传算法）“，”level“：2，”score“：0.5969906}，{”id“：”https://openalex.org/C138958017，“wikidata”：https://www.wikidata.org/wiki/Q190087“，”display_name“：”数据类型“，”level“：2，”score“：0.5938531}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.58044213}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.54711175}，{”id“：”https://openalex.org/C175971053，“wikidata”：https://www.wikidata.org/wiki/Q827335“，”display_name“：”抽象数据类型“，”level“：2，”score“：0.5271689}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.51015025}，{”id“：”https://openalex.org/C138890893，“wikidata”：https://www.wikidata.org/wiki/Q620006“，”display_name“：”订单类型“，”级别“：2，”分数“：0.49806118}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.494955}，{”id“：”https://openalex.org/C21563000，“wikidata”：https://www.wikidata.org/wiki/Q484511“，”display_name“：”归纳推理“，”level“：2，”score“：0.48557776}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.4677591}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.452161}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.44218576}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda演算“，”level“：2，”score“：0.43656245}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.42419115}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4207774}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4073463}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3955555}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.3278284}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.31268454}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.31228563}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.25565115}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.22432283}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14159897}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150（网址：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“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”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/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（96）00161-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.342.3140，“pdf_url”：https://hal.inia.fr/inia-00105578/document/“，”源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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”：“https://doi.org/10.1016/s0304-3975（96）00161-2“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：44，”reforenced_works“：[”https://openalex.org/W107542622","https://openalex.org/W141756365","https://openalex.org/W148487311","https://openalex.org/W1509700448","https://openalex.org/W1513590676","https://openalex.org/W1518331780","https://openalex.org/W1528430173","https://openalex.org/W1535477309","https://openalex.org/W1551712502","https://openalex.org/W1564330433网址","https://openalex.org/W1577485093","https://openalex.org/W1581421871","https://openalex.org/W1589742942","https://openalex.org/W159715351","https://openalex.org/W1600225367","https://openalex.org/W1612885523","https://openalex.org/W1912531729","https://openalex.org/W1991226929","https://openalex.org/W1997816727","https://openalex.org/W1999683854","https://openalex.org/W2012355197","https://openalex.org/W2021173362","https://openalex.org/W2022060249","https://openalex.org/W2042924775","https://openalex.org/W2050677448","https://openalex.org/W2056774266","https://openalex.org/W2077592849","https://openalex.org/W2082569732","https://openalex.org/W2086747974","https://openalex.org/W2091036953","https://openalex.org/W2095335078","https://openalex.org/W2097112237","https://openalex.org/W2122595168","https://openalex.org/W2128232543","https://openalex.org/W2132750992","https://openalex.org/W2166822586","https://openalex.org/W2169712230","https://openalex.org/W2406592842","https://openalex.org/W254535413","https://openalex.org/W2888344817","https://openalex.org/W2912818154","https://openalex.org/W2913989085","https://openalex.org/W3143737500","https://openalex.org/W600819829“]，”related_works“：[”https://openalex.org/W8161125","https://openalex.org/W3172122168","https://openalex.org/W3146610348","https://openalex.org/W3123171335","https://openalex.org/W2949171851","https://openalex.org/W2153353244","https://openalex.org/W2146437601","https://openalex.org/W2114701904","https://openalex.org/W1908505045","https://openalex.org/W1583714326“]，”abstract_inverted_index“：{”This“：[0101137]，”paper“：[1,84]，”is“：[2102187]，”concerned“：[3]，”with“：[4]，”the“：[5,19,35,48,56,60,65,83,86,91106109134141164169172178]，”foundations“：[6]，”of“：[7,10,21,37,42,55,68,82,88125128143163174]，”an“：[8]，”extension“：[9]，”pure“：[11]，”type“：[12,58130]，”系统“：[13]，”由“：[14,39,44,72117]，”抽象“：[15,69]，”数据“：[16,70]，”类型“：[17]，”因此“：[18]，”名称“：[20]，”抽象“：[22]，”数据”：[23]，“类型”：[24]，“系统”。“：[25]，”ADTS“：[26,97]，”generalize“：[27]，”inductive“：[28,57144185]，”types“：[29,71,75145186]，”as“：[30]，”theys“：[31]，”are“：[32,98]，”defined“：[33]，”in“：[34139]，”calculates“：[36112]，”constructions“：[38]，”providering“：[40,73]，”definitions“：%41]，”functions“：[C3]，”pattern“：[45]，”matching“：[46]，”on“：[47,59]，”one“：[49]，”hand“：[50171]，”and“：[51,76]，”关系“：[52]，”中间“：[53]，”构造函数“：[54147]，”其他。“：[61]，“It”：[62]，“also”：[63]，“generalizes”：[64]，“first order”：[66]，“framework”：[P7,87]，“function”：[74]，“higher order”（高阶）：[77118179]，“quations”（等式）。“：[78]，”The“：[79]，”first“：[80]，”half“：[81,93]，”describes“：[85]，”ADTS“：[89]，”while“：-90]，”second“：[22]，”investives“：/94]，”cases“：/95]，”其中“：[96]，”strongly“：[99]，”normalizing“。“：[100]，”shown“：[103]，”to“：[104]，”be“：[105]，”case“：[107142]，”for“：[108160177182]，”polymorphic“：[110]，”lambda“：[111]，”（with“：[113]，”possible“：[114]，”subype）“：[115]，”enriced“：[116]，”algebratical“：[119]，”rules“：[120180]，”obiling“：[121]，”a“：[122175]，”strong“：[123]，”generalization“”：[124]，“基本”：[126]，“递归”：[127]，“更高”：[129]，“那个“：[131155]，”我们“：[132]，”调用“：[133]，”通用“：[135184]，”模式。“：[136]，”covers“：[138]，”special“：[140]，”which“：[146]，”do“：[148]，”not“：%149]，”have“：[150]，”functional“：[151]，”arguments。“：[152]，“我们”：[153]，“猜想”：[154]，“这个”：[156]，“结果”：[157]，“保持”：[158]，“真”：[159]，“全部”：[161]，“计算”：[162]，“所谓的”：[165]，“巴伦德雷格特”：[166]，“立方体”。“：[167]，“开”：[168]，“其他”：[170]，“定义”：[173]，“模式”：[176]，“允许”：[181]，“更多”：[183]，“左”：[188]，“打开”。“：[189]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2031678037“，”counts_by_year“：[{”year“:2020，”cited_by_count“：1}，{”year“：2016，”cited_by_count”：1}，{“year”：2014，”citecd_by_count“：3}]，”updated_date“：”2024-08-14T02:56:27.442582“，”created_dates“：”2016-06-24“}