{“id”：“https://openalex.org/W2108344979“，”doi“：”https://doi.org/10.109/lics.1991.151637“，”title“：”指针的语义，用内涵逻辑引用和取消引用“，”display_name“：”指针的语义，用内涵逻辑引用和取消引用“，”publication_year“：2002，”publication_date“：”2002-12-10“，”ids“：｛”openalex“：”https://openalex.org/W2108344979“，”doi“：”https://doi.org/10.109/lics.1991.151637“，”mag“：”2108344979“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151637“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5049978121“，”display_name“：”H.-K.Hung“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2799674035“，”display_name“：”西德克萨斯学院“，”ror“：”https://ror.org/01dj44198“，”country_code“：”美国“，”类型“：”教育“，”血统“：[”https://openalex.org/I2799674035“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”H.-K.Hung“，”raw_affiation_strings“：[”Snyder，NY，USA“]，”附属机构“：[｛”raw_affiation_string“：”Snyder，NY，USA“，”机构ID“：[”https://openalex.org/I2799674035“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079935192“，”display_name“：”J.I.Zucker“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98251732“，”display_name“：”麦克马斯特大学“，”ror“：”https://ror.org/02fa3aq29“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I98251732“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”J.I.Zucker“，”raw _affiliation_strings“：[“加拿大安大略省汉密尔顿市麦克马斯特大学计算机科学与系统系”]，”affiliations“：[{”raw _affiliation_string“：”加拿大安大鲁省汉密顿市麦克马斯特大学计算机科学和系统系”，“institution_ids”：[”https://openalex.org/I98251732“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：0.692，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：9，“citation_normalized_percentile”：{“value”：0.726712，“is_in_top_1_percent”“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：79，”max“：80}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null'，“last_page”：null}，‘is_retracted’：false，“is_paratext”：falsehttps://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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9985，”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.9919，“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/keywords/principle-of-compositionality网站“，”display_name“：”合成原理“，”score“：0.77136904}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.589866}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.564382}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.55375}，{”id“：”https://openalex.org/关键词/认知逻辑“，”display_name“：”认识逻辑“，”score“：0.544648}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.544514}]，”concepts“：[{”id“：”https://openalex.org/C121375916，“wikidata”：https://www.wikidata.org/wiki/Q936559“，”display_name“：”组合原则“，”level“：2，”score“：0.77136904｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75137424}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7494085}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.55890894}，{”id“：”https://openalex.org/C150202949，“wikidata”：https://www.wikidata.org/wiki/Q107602“，”display_name“：”指针（用户界面）“，”level“：2，”score“：0.5522669}，{”id“：”https://openalex.org/C2780876879，“wikidata”：https://www.wikidata.org/wiki/Q3054749“，”display_name“：”意义（存在）“，”级别“：2，”分数“：0.44212505}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.43494338}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”Function（biology）“，”level“：2，”score“：0.4197483｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.31202188}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.093399316}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151637“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.4，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W1624577214","https://openalex.org/W1967233185","https://openalex.org/W2075322664","https://openalex.org/W2089018979","https://openalex.org/W2103953153","https://openalex.org/W2109798037","https://openalex.org/W2118623138","https://openalex.org/W2133420304","https://openalex.org/W2151402235","https://openalex.org/W2160745555","https://openalex.org/W2164591125","https://openalex.org/W2312577566","https://openalex.org/W2612568475","https://openalex.org/W2734920594","https://openalex.org/W2987907651","https://openalex.org/W3144889436","https://openalex.org/W3146075203","https://openalex.org/W3184402006","https://openalex.org/W4253833881","https://openalex.org/W633421911","https://openalex.org/W958291881“]，”related_works“：[”https://openalex.org/W4317425742","https://openalex.org/W4287025733","https://openalex.org/W4251923961","https://openalex.org/W3192500523","https://openalex.org/W3095531775","https://openalex.org/W2500457737","https://openalex.org/W2477397717","https://openalex.org/W2097744609","https://openalex.org/W2010490241","https://openalex.org/W1526190050网址“]，”abstract_inverted_index“：{“内涵”：[0]，”logic“：[1]，”is“：[2,49,90106]，”applied“：[3]，”to“：[4,22,79,99]，”the“：[5,34,47,55100]，”semantics“：[6104]，”of“：[7,37,46,54,87102]，”an“：[8,96]，”Algol-like“：[9]，”programming“：[10]，”language.“：[11]，”This“：[12,62]，“方法”：[13,48,94]，“关联”：[14]，“with”：[15]，“表达式”：[16]，“他们的”：[17]感官，“：[18]，”或“：[19]，”含义“：[20,31]，”相对“：[21]，”可能“：[23]，”世界，“：[24]，”这里“：[25]，”解释“：[26]，”作为“：[27]，”机器“：[28]，“状态。“：[29]，”这些“：[30]，”谎言“：[32]，”in“：[33，59，67]，”语义“：[35]，”域“：[36]，”a“：[38]，”更高“：[39]，”顺序“：[40]，”类型“：[41]，”内涵“：[42]，”逻辑。“：[43]，“The”：[44]，“advantage”：[45]，“that”：[50]，“it”：[51]，“preserves”：[52]，“compositionality”：[53]，“meansing”：[56]，“function”：[57]，“even”：[58]，“opaquent”：[60]，“contexts”。“：[61]，”研究“：[63]，”延伸“：[64]，”早期“：[65]，”工作“：[66]，”这“：[68,93]，”方向“：[69]，”由“：[70]，”T.M.V.“：[71]，”詹森“：[72]，”和“：[73109]，”P.“：[74]，”凡“：[75]，”埃姆德“：[76]，”博厄斯“：[77]，”（1977），“：[78]，”指针“：[80]，“include”：[81]，“dereferenced”：[82]，“pointers”：[83]，“on”：[84]，“both”：[85]，“sides”：[86]，“assignments”。“：[88]，“It”：[89]，“shown”：[91]，“how”：[92]，“gives”：[95]，“优雅”：[97]，“solution”：98]，“problem”：[101]，“pointer”：[103]，“which”：[105]，“simple”：[107]，“compositional”：[108]，“implementation”：[110]，“independent”<":[111],">“：[114]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2108344979“，”counts_by_year“：[{“年份”：2013，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-09-12T06:23:48.416603“，”created_date:“2016-06-24”}“