{“id”：“https://openalex.org/W2090184196“，”doi“：”https://doi.org/10.1145/41625.41629“，”title“：”语义平行化：抽象解释的实践练习“，”display_name“：”语义学平行化：一个抽象解释的实际练习“，“publication_year”：1987，”publication_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2090184196“，”doi“：”https://doi.org/10.1145/41625.41629“，”mag“：”2090184196“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41629，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41629“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41629“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5032377317“，”display_name“：”Pierre Jouvelot“，”orcid“：”https://orcid.org/0000-0002-6783-5796“}，”机构“：[]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”P.Jouvelot“，”raw _affiliation_strings“：[“巴黎马西大学实验室6 4，place Jussieu 75252 PARIS Cedex 05 France”]，”从属关系“：[{”raw _affiliation_string“：”巴黎马西学院实验室6 4institution_ids“：[]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：0，“corresponding_author_ids”：[“https://openalex.org/A5032377317“]，”“corresponding_institution_ids”：[]，“apc_list”：null，”“apc_payed”：null，”fwci“：1.163，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：11，”citation_normalized_percentile“：{”value“：0.67718，”is_in_top_1_percent“：false，”is_ in_top_10_percennt“：false}，”“cited_by_percentile_year”：{“min”：80，“max”：81}，“biblio”：{“volume”：空，“issue”：空first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9989，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9929，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.581375}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.576672}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.536821}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.528698}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.52824}，{”id“：”https://openalex.org/keywords/semantic-interpretation网站“，”display_name“：”语义解释“，”score“：0.4541667}]，”concepts“：[{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.78047025}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76943696}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.4805934}，{”id“：”https://openalex.org/C193125573，“wikidata”：https://www.wikidata.org/wiki/Q7449065（网址：https://www.wikidata.org/wiki/Q7449065）“，”display_name“：”语义解释“，”level“：2，”score“：0.4541667}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.36532933}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.3266185}，{”id“：”https://openalex.org/C23123220，“wikidata”：https://www.wikidata.org/wiki/Q816826“，”display_name“：”信息检索“，”level“：1，”score“：0.32340744}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2983051}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41629，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41629“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41629，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41629“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W150927061","https://openalex.org/W1533942910网址","https://openalex.org/W1553074388","https://openalex.org/W1554859476","https://openalex.org/W1561735502","https://openalex.org/W1602870744","https://openalex.org/W1685698149","https://openalex.org/W1878781946","https://openalex.org/W1965248040","https://openalex.org/W1972073638","https://openalex.org/W1991509743","https://openalex.org/W1996431959","https://openalex.org/W2008770192","https://openalex.org/W2011682446","https://openalex.org/W2032277118","https://openalex.org/W2043100293","https://openalex.org/W2051249047","https://openalex.org/W2064213899","https://openalex.org/W2074756472","https://openalex.org/W2092518806","https://openalex.org/W2103412683","https://openalex.org/W2109507516","https://openalex.org/W2132661148","https://openalex.org/W2133472914","https://openalex.org/W2143326699","https://openalex.org/W2158365276","https://openalex.org/W3005556571“]，”related_works“：[”https://openalex.org/W3034934889","https://openalex.org/W2950298502","https://openalex.org/W2891979318","https://openalex.org/W2762202620","https://openalex.org/W2603623739","https://openalex.org/W2250477996","https://openalex.org/W2116915753","https://openalex.org/W2021562923","https://openalex.org/W2004663191","https://openalex.org/W1973123897“]，”abstract_inverted_index“：｛”The“：[0,32]，”parallelization“：[1,43]，”of“：[2,13,29,39,48,76104]，”sequential“：[3]，”programs“：[4,40,40,77]，”is“：[5,3410712]，”an“：[6114]，”充足“：[7]，”approach“：[8106]，”for“：[9,93]，”The“：[10,27,37,49127]，”easy“：[11]，”use“：[12]，”architecture“：[14]，“特征”：[15]，“已提供”：[16]，“在”：[17]，“平行”：[18]，“计算机。“：[19]，”我们“：[20,53]，”提议“：[21]，”to“：[22,35,56,60,71,81,98121]，”增强“：[23]，”this“：[24,58]，”技术“：[25]，”with“：[26,73,96]，”concept“：[28]，”语义“：[30124]，”并行。“：[31]，”原则“：[33]，”考虑“：[36]，”转换“：[38,95]，”诱导“：[41]，”通过“：[42]，”作为“：[44]，”非标准“：[45]，”指称“：[46110]，”语义“：[47]，”源“：[50]，”编程“：[51]，”语言。“：[52130]，”show“：[54]，”how“：55]，”apply“：[57]，”concept“：[59]，”detect“：[61]，”in“：[62,83126]，”a“：[63109123]，”toy“：[64]，”language“：[65]，”ALL“：[66]，”parallelizable“：[67]，”complex“：[68]，”commands“：[69]，”and“：[70,86]，”disal“：[72]，”some“：[74]，”type“”：[75]，“使用”：[78]，“间接。“：[79]，“谢谢”：[80]，“结果”：[82]，“领域”：[84]，“理论”：[85]，“抽象”：[87]，“解释”：[88]，“我们”：[89118]，“给出”：[90]，“正确性”：[91]，“证明”：[92]，“这些”：[94]，“尊重”：[97]，“所有”：[99]，“标准”：[100]，“语义”。“：[101]，“A”：[102]，“副产品”：[103]，“我们的”：[105]，“那”：[108]，“规格”：[111]，“也”：[113]，“可执行文件”：[115]，“原型”：[116]，“；因此，提供了“：[117]，”were“：[119]，”able“：[120]，”implement“：[122]，”parallelizer“：[125]，”ML“：%128]，”functional“：[129]，”Running“：[131]，”examples“：[132]，”are“：/133]，”。“：[134]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2090184196“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-08-13T15:41:22.913840“，”创建日期“：“2016-06-24”}