｛“id”：“https://openalex.org/W2299299451“，”doi“：”https://doi.org/10.1145/2892208.2892226“，”title“：”On fast大规模程序分析在Datalog中“，”display_name“：”关于快速大规模程序分析，“publication_year”：2016，“publiation_date”：“2016-03-17”，“ids”：{“openalex”：“https://openalex.org/W2299299451“，”doi“：”https://doi.org/10.1145/2892208.2892226“，”mag“：”229929451“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2892208.2892226“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://zenodo.org/records/345932/files/jordan-cc16.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5084068260“，”display_name“：”Bernhard Scholz“，”orcid“：”https://orcid.org/0000-0002-7672-7359“}，”机构“：[]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Bernhard Scholz“，”raw _ afiliation_strings“：[“Oracle Labs，Australia”]，“affiliations”：[{“raw_affiliation_string”：“Oracle Lab，Austraia”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”https://openalex.org/A5083552252“，”display_name“：”Herbert Jordan“，”orcid“：null}，”institutions“：[]，”countries“：[”AU“]，”is_corresponding“：false，”raw_authorit_name“：”赫伯特·乔丹“，”raw _affiliation_strings“：【”Oracle Labs，Australia“】，”affiliations“：{”raw_affiliation_string“：”Oracle Labs.，Austraia“，”instITION_ids“：[]}，“author_position”：“middle”，“auther”：{“id”https://openalex.org/A5009881146“，”display_name“：”Pavle Suboti\u0107“，”orcid“：”https://orcid.org/0000-0002-6536-3932}，“机构”：[{“id”：https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Pavle Suboti\u0107“，”raw _ afiliation_strings“：[“英国伦敦大学学院”]，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦大学院“，”institution_ids“：[https://openalex.org/I45129253“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5064813143“，”display_name“：”Till Westmann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1342911587“，”display_name“：”Oracle（美国）“，”ror“：”https://ror.org/006c77m33“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1342911587“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Till Westmann“，”raw _ afiliation_strings“：[“Oracle实验室，美国”]，”affiliations“：[{”raw _affiliation_string“：”Oracle实验室，USA“，”institution_ids“：[https://openalex.org/I1342911587“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：7.826，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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.9989，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9985，“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/source-code-analysis网站“，”display_name“：”源代码分析“，”score“：0.53673}，{”id“：”https://openalex.org/keywords/software-defect-prediction（https://openalex.org/keywords/software-defect-prediction）“，”display_name“：”软件缺陷预测“，”score“：0.536236}，{”id“：”https://openalex.org/keywords/dynamic-test-generation网站“，”display_name“：”动态测试生成“，”score“：0.506924}，{”id“：”https://openalex.org/keywords/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”标杆管理“，”score“：0.505895}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.502227}]，”concepts“：[{”id“：”https://openalex.org/C148230440网址，“wikidata”：https://www.wikidata.org/wiki/Q1172264“，”display_name“：”Datalog“，”level“：2，”score“：0.97116673}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.885011}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.74424887}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.708604}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.6764496}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5041269}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.4381357}，{”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077“，”display_name“：”代码生成“，”level“：3，”score“：0.42047226}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.18539077}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2892208.2892226“，”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://zenodo.org/record/345932，“pdf_url”：https://zenodo.org/records/345932/files/jordan-cc16.pdf，“源”：{“id”：https://openalex.org/S4306400562“，”display_name“：”Zenodo（CERN欧洲核研究组织）“，”issn_l“：null，”issn“：null.”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_Organization“：”https://openalex.org/I67311998“，”“host_organization_name”：“欧洲核研究组织”，“host_ordanization_lineage”：[“https://openalex.org/I67311998“]，”host_organization_lineage_names“：[”欧洲核研究组织“]，“type”：“repository”}，“license”：“cc-by-sa”，“licence_id”：“https://openalex.org/licenses/cc-bysa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://discovery.ucl.ac.uk/1474713/1/main.pdf，“pdf_url”：http://discovery.ucl.ac.uk/1474713/1/main.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”host_organization_lineage_names“：[”伦敦大学学院“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://discovery.ucl.ac.uk/1474713/，“pdf_url”：https://discovery.ucl.ac.uk/1474713/1/main.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”host_organization_lineage_names“：[”伦敦大学学院“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://zenodo.org/record/345932，“pdf_url”：https://zenodo.org/records/345932/files/jordan-cc16.pdf，“源”：{“id”：https://openalex.org/S4306400562“，”display_name“：”Zenodo（CERN欧洲核研究组织）“，”issn_l“：null，”issn“：null.”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_Organization“：”https://openalex.org/I67311998“，”“host_organization_name”：“欧洲核研究组织”，“host_ordanization_lineage”：[“https://openalex.org/I67311998“]，”host_organization_lineage_names“：[”欧洲核研究组织“]，“type”：“repository”}，“license”：“cc-by-sa”，“licence_id”：“https://openalex.org/licenses/cc-bysa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1500460229","https://openalex.org/W1671718115","https://openalex.org/W1971859150","https://openalex.org/W1998043846","https://openalex.org/W1998915208","https://openalex.org/W2017469907","https://openalex.org/W2040019628","https://openalex.org/W2044701300","https://openalex.org/W2044791124","https://openalex.org/W2051365468","https://openalex.org/W2051527230","https://openalex.org/W2054733273","https://openalex.org/W2073074467","https://openalex.org/W2073427971","https://openalex.org/W2074782626","https://openalex.org/W2089522440","https://openalex.org/W2101158563","https://openalex.org/W2107489588","https://openalex.org/W2110848488","https://openalex.org/W2121114674","https://openalex.org/W2133662847","https://openalex.org/W2150871888","https://openalex.org/W2158493209","https://openalex.org/W2158600037","https://openalex.org/W2167685423","https://openalex.org/W2216017971","https://openalex.org/W2561675875","https://openalex.org/W2572804059","https://openalex.org/W4210596830","https://openalex.org/W4247889999","https://openalex.org/W566788094“]，”related_works“：[”https://openalex.org/W4297908618","https://openalex.org/W4251521700","https://openalex.org/W3111646971","https://openalex.org/W2867457158","https://openalex.org/W2765641823","https://openalex.org/W2003031781","https://openalex.org/W1572500097","https://openalex.org/W1563917596","https://openalex.org/W1556233488","https://openalex.org/W1502289629“]，”ngrams_url“：”https://api.openalex.org/works/W2299299451/ngrams网站“，”“abstract_inverted_index”：{“Designing”：[0]，“and”：[1,35,65188218]，“crafting”：[2]，“a”：[3,43,81,90,97100108112148174196]，“static”：[4,54,82101140]，“program”：[5,55,83102124150205]，“analysis”：[6,41,56103141206]，“is”：[7,58127]，“challengesting”：[8]，”“due”：[9]，“to”：[10156]，“the”：[11,14,14 19,23,26,33,40,51,77105119167170190208]，“复杂性“：[12]，”of“：[13,25,53,62,79107121123169211]，”task“：[15]，”at“：[16,74]，”hand。“：[17]，”其中“：[18]，”挑战“：[20]，”是“：[21]，”建模“：[22]，”语义“：[24]，”输入“：[27]，“语言”：[28]，“发现”：[29]，“合适”：[30]，“抽象”：[31]，“for”：[32,39,67153176195203]，“分析”：[34,84]，“手写”：[36]，“有效”：[37159]，“代码”：[38]，“in”：[42,6010 4118]，“传统”：[44]，“命令式”：[45]，“语言”：[46,93115]，“such”：[47131]，“as”：[48,89173]，“C++。”：[49]，“因此，”：[50]，“开发”：[52,63122]，“工具”：[57217]，“昂贵”：[59]，“术语”：[61]，“时间”：[64]，“资源”：[66]，“真实”：[68]，“世界”：[69]，“语言”：[70]，“To”：[71181]，“克服”：[72]，“or”：[73]，“最少”：[75]，“缓解”：[76]，“成本”：[78]，“开发”：[80]，“数据日志”：[85154198216]，“有”：[86134]，“been”：[87]，“proposed”：[88]，“domain”：[91113]，“specific”：[92114]，“（DSL）。”：[94]，“With”：[95]，“Datalog”，“：[96]，“designer”：[98]，“expresses”：[99]，“form”：[106]，“logical”：[109]，“specification”。，“it”：[126]，“commonly”：[128]，“accepted”：[129]，“that”：[130]，“an”：[132]，“更差”：[135]，“运行时”：[136]，“性能”：[137210]，“比”：[138]，“手工制作”：[139224]，“工具。”：[142225]，“In”：[143]，“this”：[144]，“工作”：[145]，“我们”：[146184]，“引入”：[147]，“新”：[149]，“综合”：[151164]，“方法论”：[152]，“规范”：[155]，“生产”：[157]，“高度”：[158]，“整体“：[160]，”C++“：[161]，”分析器。“：[162]，”The“：[163]，“技术”：[165]，“要求”：[166]，“重新解释”：[168]，“半朴素”：[171]，“评估”：[172]，“脚手架”：[175]，“翻译”：[177]，“使用”：[178]，“部分”：[179]，“评价”：[180]，“实现”：[182]，“高性能”：[183]，“应用”：[185]，“分段编译”：[186]，“技巧”：[187]，“专门化”：[189]，“底层”：[191]，“关系”：[192]，“数据”：[193]，“结构”：[194]，“给定”：[197]，“实验”：[200]，“on”：[201]，“基准”：[202]，“大规模”：[204]，“验证”：[207]，“高级”：[209]，“我们的”：[212220]，“超过”：[214]，“可用”：[215]，“演示”：[219]，“竞争力”：[221]，“具有”：[222]，“最先进”：[223]}，“cited_by_api_url”：“”https://api.openalex.org/works？filter=cites:W229929451”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：4｝，｛“year”：2023，“cited_by_count”：8｝，｛“year”：2022，“cited_by_count”：8｝，｛“year”：2021，“cited_by_count”：14｝，｛“year”：2020，“cited_by_count”：10｝，｛“year”：2019，“cited_by_count”：13｝，｛“year”：2018，“cited_by_count”：8｝，｛“year”：2017，“cited_by_count”by_count“：4｝，｛”年份“：2016，”引用by_count“：1｝]，”更新日期“：”2024-06-29T02:55:38.272528“，”创建日期“：”2016-06-24“}