{“id”：“https://openalex.org/W1973060466“，”doi“：”https://doi.org/10.1145/41625.41632“，”title“：”Macro-by-example:从其规范派生语法转换“，”display_name“：”宏-by-exmple:从它们的规范派生语法变换“，”publication_year“：1987，”publiation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W1973060466“，”doi“：”https://doi.org/10.1145/41625.41632“，”mag“：”1973060466“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41632“，”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/A5033174008“，”display_name“：”Eugene E.Kohlbecker“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I592451“，”display_name“：”印第安纳大学“，”ror“：”https://ror.org/01kg8sb98“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I592451“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”E.E.Kohlbecker“，”raw _ afiliation_strings“：[“\u2021Indiana大学”]，”affiliations“：[{”raw_ afiliation _string“：”\u2021 Indiana University“，”institution_ids“：[https://openalex.org/I592451“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5031215251“，”display_name“：”Mitchell Wand“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”M.Wand”，“raw_affiliation_strings”：[“northern Univ.”]，“afliations”：[{“raw_affiliation_string”：“norternestern Univcorresponding_author_ids“：[]，”correspounding_institution_ids”：[]、“apc_list”：null，“apc_payed”：null，“fwci”：1.163，“has_fulltext”：false，“cited_by_count”：70，“引文_规范化_percentile”：{“value”：0.943414，“is_in_top_1_percent”：false，“is.in_top_10_percennt”：true}，“citted_by_percentile_year”：{“min”：95，“max”：96}，“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.9999，”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.9999，”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.9992，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9975，”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/macro“，”display_name“：”宏“，”分数“：0.81491864}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.529743}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.528329}，{”id“：”https://openalex.org/keywords/programming-language-specification网站“，”display_name“：”编程语言规范“，”score“：0.4608777}，{”id“：”https://openalex.org/keywords/formal语义“，”display_name“：”形式语义（语言学）“，”score“：0.4559754}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8566406}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.84664077}，{”id“：”https://openalex.org/C166955791，“wikidata”：https://www.wikidata.org/wiki/Q629579“，”display_name“：”宏“，”级别“：2，”分数“：0.81491864}，{”id“：”https://openalex.org/C190883126，“wikidata”：https://www.wikidata.org/wiki/Q132874“，”display_name“：”Lisp“，”level“：2，”score“：0.70323867}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.6760005}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”Semantics（计算机科学）“，”level“：2，”score“：0.5619063｝，｛”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”display_name“：”Specification language“，”level“：2，”score“：0.5507039｝，｛”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.47711018}，{”id“：”https://openalex.org/C15077461，“wikidata”：https://www.wikidata.org/wiki/Q7248507“，”display_name“：”编程语言规范“，”level“：5，”score“：0.4608777}，{”id“：”https://openalex.org/C146499014，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.4559754}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.44673514}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C119263510，“wikidata”：https://www.wikidata.org/wiki/Q7248501“，”display_name“：”编程域“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267“，”display_name“：”编程范例“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41632“，”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“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.48}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：]”https://openalex.org/W1987031623","https://openalex.org/W1990347915","https://openalex.org/W2004105509","https://openalex.org/W2007950212","https://openalex.org/W2029786195","https://openalex.org/W2051494444","https://openalex.org/W2139138304","https://openalex.org/W3145454088“]，”related_works“：[”https://openalex.org/W4249603026","https://openalex.org/W3021477639","https://openalex.org/W2592399342","https://openalex.org/W2576260943","https://openalex.org/W2317295055","https://openalex.org/W2169850948","https://openalex.org/W2156223462","https://openalex.org/W2141935522","https://openalex.org/W2119895020","https://openalex.org/W2084871158“]，”abstract_inverted_index“：{”This“：[0,21,64]，”paper“：[1]，”presents“：[2]，”two“：[3]，”new“：[4]，”developments“：[5]，”First“：[6]，”it“：[7,47]，”describes“：[8]，”a“：[9,25,38,49,56,69,67]，”\u201cmacro-by-example\u201d“：[10]，”specification“：[11,22,28]，”language“：[12,28]3,54]，“for”：[13,52]，“语法”：[14]，“抽象”：[15]，“in”：[16]，“Lisp”：[17]，“和“：[18,43,55]，”相关“：[19]，”语言。“：[20]，”允许“：[24]，”更多“：[26]，”声明性“：[27]，”of“：[29,41,58,70]，”宏“：[30]，”than“：[31]，”常规“：[32]，”macro“：[33]，”设施“：[34]，”do“：[35]，”by“：[36]，”给定“：[37]，”更好“：[39]，”处理“：[40]，”迭代“：[42]，”映射“：[44]，”构造。“：[45]，”Second，“：[46]，”gives“：[48]，”formal“：[50]，”semantics“：[51]，”the“：[53,62]，”derivation“：[57,65]，”compiler“：[60,72]，”from“：[61]，”语义。“：[63]，”is“：[66]，”practical“：[68]，”application“：[69]，”semantics-directed“：[71]，”development“：[73]，”methodology“。“：[74]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1973060466“，”counts_by_year“：[｛”年份：2023，”cited_by_count“：1｝，”年份“：2021，”cited_by_count“：4｝，”年份“：2019，”cited_by_count“：2｝，”年份“：2018，”cited_by_count“：3｝，”年份“：2017，”cited_by_count“：1｝，”年份“：2016，”cited_by_count“：4｝，”年份“：2015，”cited_by_count“：3｝，”年份“：2014，”cited_by _count“：4｝，｛”年份“：2012，”引用_计数“：2｝]，”更新日期“：”2024-08-31T14:51:54195519“，”创建日期“：”2016-06-24“｝