{“id”：“https://openalex.org/W4390605205“，”doi“：”https://doi.org/10.1145/3632919“，”title“：”Generating Well-Typed Terms That Are Not \u201cUseless\u201d“，”display_name“：”Creating Well-Typed Terms That Not \u 201cUseliss\u201 d“，“publication_year”：2024，“publiation_date”：“2024-01-05”，“ids”：{“openalex”：“https://openalex.org/W4390605205“，”doi“：”https://doi.org/10.1145/3632919“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3632919“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3632919，“源”：{“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“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/3632919“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5056975077“，”display_name“：”J.Ray Frank“，”orcid“：”https://orcid.org/0009-0007-7024-7331}，“机构”：[{“id”：https://openalex.org/I66946132“，”display_name“：”马里兰大学，大学公园“，”ror“：”https://ror.org/047s2c258“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I66946132“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”贾斯汀·弗兰克“，”raw _ afiliation_strings“：[“马里兰大学，大学公园，美国”]，”从属关系“：[{”raw_ afiliation _string“：”马里兰大学https://openalex.org/I66946132“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5010052189“，”display_name“：”Benjamin Quiring“，”orcid“：”https://orcid.org/0000-0002-6922-9706}，“机构”：[{“id”：https://openalex.org/I66946132“，”display_name“：”马里兰大学，学院公园“，”ror“：”https://ror.org/047s2c258“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I66946132“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Benjamin Quiring“，”raw _ afiliation_strings“：[“美国马里兰大学，大学城”]，”affiliations“：[{”raw _affiliation_string“：”马里兰大学城，美国大学城”，“institution_ids”：[“https://openalex.org/I66946132“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5075217645“，”display_name“：”Leonidas Lampropoulos“，”orcid“：”https://orcid.org/0000-0003-0269-9815}，“机构”：[{“id”：https://openalex.org/I66946132“，”display_name“：”马里兰大学，学院公园“，”ror“：”https://ror.org/047s2c258“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I66946132“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Leonidas Lampropoulos“，”raw _ afiliation_strings“：[“马里兰大学，美国大学城”]，”affiliations“：[{”raw _affiliation_strong“：”马里兰大学城，美国，“institution_ids”：[“https://openalex.org/I66946132“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null'，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：{“volume”：“8”，“issue”：“POPL”，“first_page”：“2318”，“last_page“：”2339“}，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”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.9963，“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/dynamic-test-generation网站“，”display_name“：”动态测试生成“，”score“：0.523529}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.508896｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69373786}，{”id“：”https://openalex.org/C98184364，“wikidata”：https://www.wikidata.org/wiki/Q1780131“，”display_name“：”Argument（complex analysis）“，”level“：2，”score“：0.67399347}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.6045252}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.59133196}，{”id“：”https://openalex.org/C90559484，“wikidata”：https://www.wikidata.org/wiki/Q778379“，”display_name“：”Expression（computer science）“，”level“：2，”score“：0.560232}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.545115}，{”id“：”https://openalex.org/C20528804，“wikidata”：https://www.wikidata.org/wiki/Q997433“，”display_name“：”从属类型“，”level“：3，”score“：0.5436345}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.536481｝，｛”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077“，”display_name“：”代码生成“，”level“：3，”score“：0.484765}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”“：”代码（集合论）“，”级别“：3，”分数“：0.47303173}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4552549}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda演算“，”level“：2，”score“：0.43829608}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3840701}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.08364043}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”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“：true，”landing_page_url“：”https://doi.org/10.1145/3632919“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3632919，“源”：{“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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3632919“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3632919，“源”：{“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“：[]，“grants”：[{“funder”：“https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“2107206，2145649”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：25，“referrenced_works”：[”https://openalex.org/W1799755352","https://openalex.org/W1982202832","https://openalex.org/W1999336811","https://openalex.org/W2013596093","https://openalex.org/W2025846768","https://openalex.org/W2029976661","https://openalex.org/W2031872041","https://openalex.org/W2033348393","https://openalex.org/W2059416532","https://openalex.org/W2077836627","https://openalex.org/W2093535699","https://openalex.org/W2105450475","https://openalex.org/W2125126351","https://openalex.org/W2278624804","https://openalex.org/W2476059279","https://openalex.org/W2752672741","https://openalex.org/W2753617992","https://openalex.org/W2943290483","https://openalex.org/W2949895386","https://openalex.org/W4234222550","https://openalex.org/W4238083723","https://openalex.org/W4293813125","https://openalex.org/W4302790834","https://openalex.org/W4306255657","https://openalex.org/W4312861873“]，”related_works“：[”https://openalex.org/W4297858128","https://openalex.org/W3123171335","https://openalex.org/W3091937109","https://openalex.org/W21537352","https://openalex.org/W2153353244","https://openalex.org/W2146437601","https://openalex.org/W2140892577","https://openalex.org/W1993182924","https://openalex.org/W1594451895","https://openalex.org/W1458664253“]，”ngrams_url“：”https://api.openalex.org/works/W4390605205/ngrams“，”“abstract_inverted_index”：{“Random”：[0]，“generation”：[1,29,54,87157165]，“of”：[2,9,13,42102143158]，“well-typed”：[3]，“terms”：[4]，“lies”：[5]，“at”：[6122]，“the”：[7,40,50,85132135144156]，“core”：[8]，“effectived”：[10121]，“Random”（随机）：[11]，“testing”：[12]，“compilers”：[14]，“for”：[15160]，“功能”：[16]，“语言”：[17]，“现有”：[18]，“技术“：[19]，”有“：[20]，”曾“：[21]，”成功“：[22]，”跟随“：[23]，”a“：[24,67,70100114]，”自上而下“：[25]，”类型导向“：[26]，”方法“：[27]，”到“：[28,65,94168]，”那“：[30,6117125]，”制造“：[31]，”选择“：[32]，”本地“：[33]，”其中“：[34]，”遭受“：[35]，”来自“：[36,49]，“an”：[37,43141]，“固有”：[38]，“限制：”：[39]，“类型”：[41149]，“表达式“：[44,51]，”是“：[45,89118]，”经常“：[46]，”生成“：[47]，”独立“：[48]，”本身。“：[52]，”这样“：[53,77]，”经常“：[55]，”产量“：[56]，”函数“：[57,79124]，”with“：[58148]，”argument“：[59,86]，”types“：[60159]，”cannot“：62]，”be“：[63,95]，”used“：[64]，”product“：[66]，”result“：68]，”in“：[69140]，”有意义的“：[71]，”way，“：[72]，”leaving“：[73]，”那些“：[74]，”参数“：[75151]，”未使用。“：[76]，”“无使用”“：[78]，”可以“：[80]，”阻碍“：[81]，”两者“：[82131]，”性能“：[83]，”作为“：[84,99138]，”代码“：[88]，”死亡“：[90]，”但是“：[91]，”仍然“：[92]，”需要“：[93]，”编译“：[96]，”和“：[97134150]，”有效性“：[98]，”批次“：[101]，”有趣“：[103]，“优化”：[104]，“是”：[105]，“测试”：[106]，“较少”：[107]，“频繁”。“：[108]，”In“：[109]，”this“：[110]，”paper“：[111]，”we“：[112]，”Introduct“：[113]，”新颖“：[115]，”算法“：[116]，”显著“：[119]，”更多“：[120]，”生成“：[123]，”使用“：[126]，”他们的“：[127]，”论点。“：[128]，”We“：[129]，”formalize“：[130]，”本地“：[133]，”非本地“：%136]，”algorithms“：[137]，”step-relation“：[139]，”extension“：[142]，”simply-typed“：[145]，”lambda“：[146]，”calculations“：[147]，”holes“：[152]，”showing“：[153]，”如何“：[154]，”延迟“：[155]，”子表达式“：[161]，”by“：[162]，“允许”：[163]，“非本地”：[164]，“步骤”：[166]，“引线”：[167]，“\“有用\”“：[169]，”函数。“：[170]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4390605205“，”counts_by_year“：[]，”updated_date“：”2024-06-24T12:26:00.339262“，”created_date:“2024-01-07”}“