{“id”：“https://openalex.org/W2107717912“，”doi“：”https://doi.org/10.1017/s0960129504004165“，”title“：”MetaKlaim:一种用于全局计算的类型安全多级语言“，”display_name“：”metaKlaimam:一种适用于全局计算的型号安全多级语言”，“publication_year”：2004，“publitation_date”：“2004-05-20”，“ids”：{“openalex”：“https://openalex.org/W2107717912“，”doi“：”https://doi.org/10.1017/s0960129504004165“，”mag“：”2107717912“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129504004165“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://www.disi.unige.it/person/MoggiE/ftp/FMP02-sub.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5026348666“，”display_name“：”Gian-Luigi Ferrari“，”orcid“：”https://orcid.org/0000-0003-3548-5514}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”GIANLUIGI FERRARI“，”raw _ afiliation_strings“：[“意大利比萨大学信息学院电子邮箱：giangi@di.unipi.it#TAB#“]，”affiliations“：[{”raw_affiliation_string“：”意大利比萨大学信息学院\u00e0电子邮箱：giangi@di.unipi.it#TAB#“，”institution_ids“：[”https://openalex.org/I108290504“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”EUGENIO MOGGI“，”raw_affiation_strings“：[”意大利热那亚信息科学院信息学院“]，”附属机构“：[{”raw_affiation_string“：”意大利热那亚信息科学院信息学院“，”机构ID“：[”https://openalex.org/I83816512“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066761763“，”display_name“：”Rosario Pugliese“，”orcid“：”https://orcid.org/0000-0002-1419-1405}，“机构”：[{“id”：https://openalex.org/I45084792“，”display_name“：”佛罗伦萨大学“，”ror“：”https://ror.org/04jr1s763“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I45084792“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”ROSARIO PUGLIESE“，”raw _affiliation_strings“：[“Dipartimento di Sistemi e Informatica--Universita’di Firenze--Italy”]，“affiliations”：[{“raw_affiliation _string”：“Dipartitemo di Sistemi e Informatica--University’di Firenze--Illy”，“institution_ids”：[”https://openalex.org/I45084792“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：1.532，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：14，“citation_normalized_percentile”：{“value”：0.8 56053，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：“14”，”issue“：”3“，”first_page“：”367“，”last_page“：”395“}https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9996，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9996，“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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”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.9984，”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/model-checking“，”display_name“：”模型检查“，”score“：0.502914}，{”id“：”https://openalex.org/keywords/kernel“，”display_name“：”内核（代数）“，”分数“：0.47146374}，{”id“：”https://openalex.org/keywords/code网站“，”“display_name”“：”代码（集合论）“，”分数“：0.4418127}，{”id“：”https://openalex.org/keywords/type-safety“，”display_name“：”Type safety“，”score“：0.41799378｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83408976}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65024495}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.60655624}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.48665458}，{”id“：”https://openalex.org/C74193536，“wikidata”：https://www.wikidata.org/wiki/Q574844“，”display_name“：”内核（代数）“，”级别“：2，”分数“：0.47146374}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”“：”代码（集合论）“，”级别“：3，”分数“：0.4418127}，{”id“：”https://openalex.org/C20136886，“wikidata”：https://www.wikidata.org/wiki/Q749647“，”display_name“：”互操作性“，”level“：2，”score“：0.43927962}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.43273282}，{”id“：”https://openalex.org/C44779574，“wikidata”：https://www.wikidata.org/wiki/Q736866“，”display_name“：”类型安全“，”级别“：2，”分数“：0.41799378}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35596007}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.19342172}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129504004165“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“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.142.3235，“pdf_url”：http://www.disi.unige.it/person/MoggiE/ftp/FMP02-sub.pdf，“源”：{“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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.142.3235，“pdf_url”：http://www.disi.unige.it/person/MoggiE/ftp/FMP02-sub.pdf，“源”：{“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}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”分数：0.48，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：51，”referrenced_works“：【”https://openalex.org/W1496712790","https://openalex.org/W1500250067网址","https://openalex.org/W1521367064","https://openalex.org/W1553805960","https://openalex.org/W1578672210","https://openalex.org/W1589951597","https://openalex.org/W1591752798","https://openalex.org/W1595372275","https://openalex.org/W1601205865","https://openalex.org/W171436000","https://openalex.org/W1965498649","https://openalex.org/W1971810486","https://openalex.org/W1972301184","https://openalex.org/W1980939032","https://openalex.org/W1987203566","https://openalex.org/W2006138892","https://openalex.org/W2017532341","https://openalex.org/W2019545801","https://openalex.org/W2029360780","https://openalex.org/W2031650958","https://openalex.org/W2036910349","https://openalex.org/W2037575886","https://openalex.org/W2053271394","https://openalex.org/W2076212434","https://openalex.org/W2083140588","https://openalex.org/W2084588406","https://openalex.org/W2088599499","https://openalex.org/W2094455839","https://openalex.org/W2096213702","https://openalex.org/W2096314727","https://openalex.org/W2098549433","https://openalex.org/W2106529232","https://openalex.org/W2107219179","https://openalex.org/W2107776021","https://openalex.org/W2113540887","https://openalex.org/W2118002698","https://openalex.org/W2128138604","https://openalex.org/W2134291411","https://openalex.org/W2134386444","https://openalex.org/W2135785452","https://openalex.org/W2136134319","https://openalex.org/W2160747957网址","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W2176714706","https://openalex.org/W2294680933网址","https://openalex.org/W2499974232","https://openalex.org/W2526794136","https://openalex.org/W2912003593","https://openalex.org/W31349019","https://openalex.org/W84136828“]，”related_works“：[”https://openalex.org/W913131694","https://openalex.org/W79697243","https://openalex.org/W650116260","https://openalex.org/W4390790060","https://openalex.org/W3209454962","https://openalex.org/W2378329187","https://openalex.org/W2134191509","https://openalex.org/W2123131699","https://openalex.org/W2093262417","https://openalex.org/W1603423477“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”descriptes“：[2]，”the“：[3141]，”design“：[4]，”and“：[5,40,49,60,73,86112128]，”semantics“：[6]，”of“：[7,35,54,62,67144]，”M“：[8,25,30,89]，”ETA“：[9,26,31,90]，”K“：[10,27,41,91]，”LAIM“：[11,28,42,92]，”，“：[12]，”其中“：[13]，”是“：[14]，”a“：[15,78,94]，”较高“：[16]，”顺序“：[17]，”分布“：[18]，”过程”：[19]，“微积分”：[20]，“装备”：[21]，“有”：[22107154]，“分期”：[23]，“机制。“：[24]，”integrates“：[29]，”ML“：[32]，”（an“：[33]，”extension“：[34]，”SML“：[36]，”for“：[37,46]，”multiple-sage“：[38]，”programming）“：[39]，”ing“：[53]，”元编程“：[55]，”活动“：[56,76]，”（例如“：[57,82]，”作为“：[58,83]，”汇编“：[59]，”链接“：[61]，”代码“：[63,87125]，”片段），“：[64]，”动态“：[65136]，”检查“：[66138]，”安全“：[68115]，”策略“：[69116]，”在“：[70126]，”管理“：[71]，”边界“：[72]，”传统的\u2019“：[74]，”计算“：[75]，”on“：[77]，”wide“：[79145]，”区域“：[80146]，”网络“：[81147]，“远程”：[84]，“通信”：[85]，“移动性）。“：[88]，”漏洞利用“：[93]，”强大“：[95]，”类型“：[96137]，”系统“：[97103]，”（包括“：[98]，”多态“：[99]，”类型“：[100118]，”\u00e1“：[101]，”la“：[102]，”F）“：[104]，”交易“：[106]，”高度“：[108]，”参数化“：[109]，”移动“：[110]，”组件“：[111]，”强制“：[114]，”动态：“：[117]，“是”：[1191221149]，“元数据”：[120]，“那个”：[121140]，“提取“：[123]，”来自“：[124]，”运行时“：[127]，”已使用“：[130]，”明示“：[132]，”信任“：[133142]，”担保。“：[134]，”The“：[135]，”assures“：[139]，”guaranties“：[143]，”application“：[148]，”maintained“：[150]，”wherever“：[151]，”calculations“：[152]，”interoperate“：[153]，”potential“：[155]，”uncrested“：[156]，”components。“：[157]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2107717912“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：2}，“年份”：2018，”citecd_by_count“：1}，”年度“：2012，”citted_by_count“:1}]，”updated_date“：”2024-09-26T23:35:26.642341“，”created_dated“：”2016-06-24“}”