{“id”：“https://openalex.org/W3126064230“，”doi“：”https://doi.org/10.1145/3290357“，”title“：”骨骼语义及其解释“，”display_name“：”骨架语义及其解释”，“publication_year”：2019，“publiation_date”：“2019-01-02”，“ids”：{“openalex”：“https://openalex.org/W3126064230“，”doi“：”https://doi.org/10.1145/3290357“，”mag“：”3126064230“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3290357，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3290357，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”arxiv“，”crossref“，”datacite“]，‘open_access’：{”is_oa“：true”：“gold”，“oa_url”：“https://dl.acm.org/doi/pdf/10.1145/3290357“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5046395197“，”display_name“：”Martin Bodin“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”Martin Bodian“，“raw_affiliation_strings”：[“计算系[伦敦帝国理工学院]”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”菲利普·加德纳“，”raw_affiliation_strings“：[”计算系[伦敦帝国理工学院]“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5054819541“，”display_name“：”Thomas Jensen“，”orcid“：”https://orcid.org/0000-0002-4064-7170“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Thomas Jensen“，”raw _affiliation_strings“：〔”Software certification with semantic analysis“〕}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5013605827“，”display_name“：”Alan Schmitt“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Alan施密特“，”raw关联字符串“：[”语义分析软件认证“]}]，“countries_distict_count”：0，“institutions_disticent_count”：“0，”corresponding_author_ids“：[】，”apc_list“：null，”apc_payd“：nul，”has_fulltext“：false，”cited_by_count“：14，”cited_by_percentile_year“：{”min“：90，”max“：91}，”biblio“：{“volume”：“3”，”issue“：”POPL“，”first_page“：”1“，”last_page“：”31“}，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9983，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”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.584847}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.557217}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.80005264}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.72106314}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.70071644}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.68466586}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6592175}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.6212865}，{”id“：”https://openalex.org/C48859967，“wikidata”：https://www.wikidata.org/wiki/Q6486712“，”display_name“：”语言结构“，”level“：2，”score“：0.5527401}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.5118405}，{”id“：”https://openalex.org/C2780992000，“wikidata”：https://www.wikidata.org/wiki/Q17016113“，”display_name“：”生成器（电路理论）“，”level“：3，”score“：0.5085224}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5001354}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.4679265｝，｛”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.45213524}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.34523267}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：8，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3290357，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3290357，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01881863，“pdf_url”：https://inria.hal.science/hal-01881863/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：false，“landing_page_url”：“https://inria.hal.science/hal-01881863“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/1809.09749，“pdf_url”：https://arxiv.org/pdf/1809.09749，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/65408，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/65408/7/popl19main-p89-p.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-sa”，“licence_id”：“https://openalex.org/licenses/cc-bysa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal.inria.fr/hal-01881863v3/file/rule-format.pdf，“pdf_url”：https://hal.inria.fr/hal-0181863v3/file/rule-format.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01881863v3/document，“pdf_url”：https://hal.inia.fr/hal-01881863v3/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1809.09749“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3290357，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3290357，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/4“，”display_name“：”优质教育“，”score“：0.55｝]，”grants“：[｛”资助者“：”https://openalex.org/F4320334627“，”“funder_display_name”：“工程与物理科学研究委员会”，“award_id”：“REMS EP/K008528/1”}]，“数据集”：[]，“版本”：[“https://openalex.org/W2892721170“，”https://openalex.org/W3126064230“]，”referenced_works_count“：26，”referrenced_works“：[”https://openalex.org/W1426476981“，”https://openalex.org/W1521434182“，”https://openalex.org/W1553894716“，”https://openalex.org/W2003556922“，”https://openalex.org/W2006731094“，”https://openalex.org/W2009375997“，”https://openalex.org/W2013885073“，”https://openalex.org/W203501420网址“，”https://openalex.org/W2039101138“，”https://openalex.org/W2043100293“，”https://openalex.org/W2048417351“，”https://openalex.org/W2063692999“，”https://openalex.org/W2065403304“，”https://openalex.org/W2077255408“，”https://openalex.org/W2080575293“，”https://openalex.org/W2094983564“，”https://openalex.org/W2096529083“，”https://openalex.org/W2118431434“，”https://openalex.org/W2129695855“，”https://openalex.org/W2150224578“，”https://openalex.org/W2535818195“，”https://openalex.org/W2675276594“，”https://openalex.org/W2886090648“，”https://openalex.org/W3010249406“，”https://openalex.org/W3106373601“，”https://openalex.org/W781716309“]，”related_works“：[”https://openalex.org/W3177169335“，”https://openalex.org/W3149732360“，”https://openalex.org/W3129725704“，”https://openalex.org/W3042312155“，”https://openalex.org/W3021003119“，”https://openalex.org/W2245685274“，”https://openalex.org/W2074638034“，”https://openalex.org/W1995638504“，”https://openalex.org/W1531851716“，”https://openalex.org/W1513061978“]，”ngrams_url“：”https://api.openalex.org/works/W3126064230/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“development”：[1]，“of”：[2,37,44,62,73,82,92]，“mechanised”：[3]，“language”：[4,75]，“specification”：[5]，“based”：[6]，“on”：[7131]，“structured”：[08]，“operational”：[9]，“semantics，”：[10,49]，“with”：[11,32]，“applications”：[12]，“to”：[13,30]，“verified”：[14]，“编译器”：[15]，“和”：[16,25,47,89115]，“声音”：[17]，“程序“：[18]，”分析“：[19]，”需要“：[20]，”巨大“：[21]，”努力。“：[22，34]，“概述”：[23]，“理论”：[24]，“框架”：[26]，“已经”：[27]，“一直”：[28]，“提议”：[29]，“帮助”：[31]，“这个”：[33，38]，“然而，”：[35]，“没有”：[36]，“工作”：[39]，“提供”：[40，86]，“a”：[41，53，59，63，74，79，8710510510111140]，“系统的”：[42，88]，“方式”：[43，91]，“发展中的”：[45]，“具体的”：[46110]，“抽象的”：[48113]，“相连的”：[50]together“：[51]，”by“：[52]，”general“：[54,80124]，”consistency“：[55125]，”result。“：[56]，“We”：[57,77100122135]，“introduce”：[58]，“skelect”：[60,98]，“semantics”：[61]，“language”，“：[64]，“where”：65]，“each”：[66]，“骨架”：[67]，“descriptions”：[68]，“the”：[69,97]，“complete”：[70]，“语义”：[71,94]，“behavior”：[72]，“construct”。“：[76]，”define“：[78]，”concept“：[81]，”interpretation“：[83]，”，“：[84]，”which“：[85]，”language-independent“：[90]，”deriving“：[93]，”judgements“：[95]，”from“：[96]，”semantics。“：[99]，”探索“：[101]，”四“：[102]，”通用“：[103]，”解释：“：[104]，”简单“：[106132141]，”格式良好“：[107]，”解读；“：[108111114]，”an“：[112]，”constraint“：[117]，”generator“：[118]，”for“：[119]，”flow-sensitive“：[120]，”analysis。“：[121]，”prove“：[123]，”results“：[126]，”between“：[127]，”interpressions“，”：[128]，”depending“：[129]，”only“：[130]，”language-dependent“：[133]，”lemmas。“：[134]，”说明“：[136]，”我们的“：[137]，”想法“：[138]，”使用“：[139]，”While“：[142]，”语言。“：[143]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3126064230“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”cited_by_count”：4}，“{”年度“：2022，”citecd_by_count“：5}，”{“年份”：2021，”citesd_by_count“:2}”，{“年”：2020，”citted_by-count“:1}]，”updated_date“：”2024-06-03T18:31:42.402829“，”created_date:“2021-02-01”}