{“id”:“https://openalex.org/W2101149196“,”doi“:”https://doi.org/10.1007/3-540-44806-3_11“,”title“:”MetaKlaim:“全球计算元编程”,“display_name”:“MetaKlasim:全球计算元程序”,“publication_year”:2001,“publiation_date”:“2001-01-01”,“ids”:{“openalex”:“https://openalex.org/W2101149196“,”doi“:”https://doi.org/10.1007/3-540-44806-3_11“,”mag“:”2101149196“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-44806-3_11“,”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/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“:[意大利比萨大学信息学博士],”affiliations“:[{”raw _affiliation_strong“:”意大利比萨学院信息学博士“,”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 _ afiliation_strings“:[“意大利热那瓦大学信息科学学士学位”],”affiliations“:[{”raw _affiliation_string“:”意大利热那亚大学信息科学博士学位\u2019Informazione“,”institution_ids“:[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“},”机构“:[],”国家“:[”IT“],”is_corresponding“:false,”raw_author_name“:”Rosario Pugliese“,”raw _affiliation_strings“:[“意大利费伦泽大学科学院信息学博士”],“affiliations”:[{“raw_affiliation _string”:“意大利费伦泽大学信息学院博士”,“institution_ids”:[]}],“countries_distict_count”:1,“institutions_distinct_count“:2,”corresponding_author_ids“:[],”correcponding_institution_ids”:[]、“apc_list”:{“value”:5000,“currency”:“EUR”,“value_usd”:5392,“provenance”:“doaj”},“apc_payed”:null,“fwci”:0.327,“has_fulltext”:false,“cited_by_count”:3,“citected_by_percentile_year”:{“min”:72,“max”:75},”biby_count lio“:{”volume“:null,”issue“:nul,”first_page“:”183“,”last_page“:”198“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”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/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/T10772“,”“display_name”:“系统中的分布式容错和一致性”,“score”:0.9986,“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/T12203“,”display_name“:”网络管理中的移动代理技术“,”score“:0.9978,”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/keywords/memory-management网站“,”display_name“:”内存管理“,”score“:0.531504},{”id“:”https://openalex.org/keywords/model-checking“,”display_name“:”模型检查“,”score“:0.528613},{”id“:”https://openalex.org/keywords/programming-language-semantics网站“,”display_name“:”编程语言语义“,”score“:0.526148},{”id“:”https://openalex.org/keywords/无线计算“,”display_name“:”无线计算“,”score“:0.510709}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.88140917},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.5151671},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.51352364},{”id“:”https://openalex.org/C33676613,“wikidata”:https://www.wikidata.org/wiki/Q13415176“,”display_name“:”维度(图论)“,”level“:2,”score“:0.50192165},{”id“:”https://openalex.org/C35390924,“wikidata”:https://www.wikidata.org/wiki/Q661075“,”display_name“:”元编程“,”level“:2,”score“:0.48104504},{”id“:”https://openalex.org/C74193536,“wikidata”:https://www.wikidata.org/wiki/Q574844“,”display_name“:”内核(代数)“,”级别“:2,”分数“:0.47886273},{”id“:”https://openalex.org/C34165917,“wikidata”:https://www.wikidata.org/wiki/Q188267“,”display_name“:”编程范例“,”level“:2,”score“:0.45255768},{”id“:”https://openalex.org/C120314980,“wikidata”:https://www.wikidata.org/wiki/Q180634“,”display_name“:”分布式计算“,”level“:1,”score“:0.43070146},{”id“:”https://openalex.org/C150495011,“wikidata”:https://www.wikidata.org/wiki/Q128392“,”display_name“:”并发计算“,”level“:2,”score“:0.41558847},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯粹数学“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-44806-3_11“,”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”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[],“grants”:[],“dataset”:[]],“versions”:[】,“referenced_works_count”:25,“referenced_works“:[”https://openalex.org/W1532887546","https://openalex.org/W1553894716","https://openalex.org/W1578672210","https://openalex.org/W1679133098","https://openalex.org/W1822069111","https://openalex.org/W1965498649","https://openalex.org/W1980939032","https://openalex.org/W1988177568","https://openalex.org/W2004048608","https://openalex.org/W2006138892","https://openalex.org/W2039512273","https://openalex.org/W2048984644","https://openalex.org/W2083140588","https://openalex.org/W2106529232","https://openalex.org/W2118002698","https://openalex.org/W2131752612","https://openalex.org/W2132500556","https://openalex.org/W2134291411","https://openalex.org/W2135785452","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W2176714706","https://openalex.org/W2491452408","https://openalex.org/W2912003593","https://openalex.org/W3009749592“],”related_works“:[”https://openalex.org/W625823274","https://openalex.org/W2132768454","https://openalex.org/W2101431901","https://openalex.org/W2076603532","https://openalex.org/W2032374212","https://openalex.org/W2019533604","https://openalex.org/W1638978760","https://openalex.org/W1614272845","https://openalex.org/W1535662243","https://openalex.org/W1516638553“],”ngrams_url“:”https://api.openalex.org/works/W2101149196/ngrams网站“,”“abstract_inverted_index”:{“大多数”:[0],“基础”:[1],“模型”:[2],“for”:[3,88,96143],“global”:[4,15],“computing”:[5,16,80],“have”:[6],“focused”:[7],“on”:[8],“the”:[9,24,33111121],“spatial”:[10,75122],“dimension”:[11],“of”:[12,21,53,79,86104110124],“计算”:[13],“然而”:[14],“需要”:[17],“也”:[18],“新”:[19],“方式”:[20],“思考“:[22],”关于“:[23],”时间“:[25,77112],”维度。“:[26],”In“:[27],”specific“:[28],”withno“:[29],”central“:[30],”control“:[31109],”and“:[32,51,63,76,91,99119136],”need“:[34,44],”to“:[35,45117140],”operate“:[36],”with“:[37],”incomplete“:[38],”information“:[39],”there“:%40],”is“:[41,68133],”a“:[42,69103]7],“引人注目”:[43],“交错”:[46],“元编程”:[47],“活动”:[48],“(例如“:[49,58],“assembly”:[50],“linking”:[52],“code”:[54],“fragments”),“:[55],“security”:[56],“checks”:[57],“type-checking”:[P9],“at”:[60],“administrative”:[61],“boundaries”)“:[62],“normal”:[64],“computational”:[65],“activities”。“:[66],”MetaKlaim“:[67],”case“:[70],”study“:[71],”in“:[72],”modeling“:[73],”both“:[74],”aspects“:[78123132],”by“:[81],”integrating“:[82],”MetaML“:+83105],”(an“:[84],”extension“:[85],”SML“:[87],”multi-stage“:[89],”programming“)“:[90],”Klaim:[92115],“(a“:[93],”内核“:[94],”语言“:[95],”代理“:[97],”交互“:[98],”移动性)。“:[100],”The“:[101],”staging“:[102],”annotations“:[103],”provide“:[106],”fine-grain“:[108],”aspects“,”:[113],“while”:[114],“allows”:[116],“model”:[118],“program”:[120],“distributed”:[125],“concurrent”:[126],“applications。“:[127],“我们的”:[128],“方法”:[129],“组合”:[130],“这些”:[131],“相当”:[134],“一般”:[135],“应该”:[137],“是”:[138],“适用”:[139],“其他”:[141],“语言/系统”:[142],“网络”:[144],“编程”。“:[145]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2101149196“,”counts_by_year“:[{”年“:2019,”cited_by_count“:1}],”更新日期“:”2024-06-20T10:38:46.078039“,”创建日期“:“2016-06-24”}