乐胖代购免代理版

{"id":"https://openalex.org/W4388514484","doi":"https://doi.org/10.48550/arxiv.2311.03705","title":"Efficient Bottom-Up Synthesis for Programs with Local Variables","display_name":"Efficient Bottom-Up Synthesis for Programs with Local Variables","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4388514484","doi":"https://doi.org/10.48550/arxiv.2311.03705"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.03705","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/abs/2311.03705","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100756638","display_name":"Xiang Li","orcid":"https://orcid.org/0000-0001-6433-9968"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xiang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102982598","display_name":"Xiangyu Zhou","orcid":"https://orcid.org/0000-0002-0650-4934"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Xiangyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101949995","display_name":"Rui Dong","orcid":"https://orcid.org/0000-0002-6461-1658"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Rui","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081101711","display_name":"Yihong Zhang","orcid":"https://orcid.org/0000-0002-4758-9911"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yihong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100352782","display_name":"Xinyu Wang","orcid":"https://orcid.org/0000-0002-1836-0202"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Xinyu","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9987,"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":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9987,"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":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9948,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9935,"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":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"Observational equivalence","score":0.58148366},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.5384936},{"id":"https://openalex.org/keywords/state-variable","display_name":"State variable","score":0.44241887}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.71490526},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.58148366},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.5384936},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48093766},{"id":"https://openalex.org/C129537906","wikidata":"https://www.wikidata.org/wiki/Q7603913","display_name":"State variable","level":2,"score":0.44241887},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.43895948},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.43064606},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4251402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36077645},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3406983},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08991635},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.03705","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2311.03705","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":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,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.03705","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4390922876","https://openalex.org/W4390604805","https://openalex.org/W4388514484","https://openalex.org/W4387667052","https://openalex.org/W4327743144","https://openalex.org/W4313320911","https://openalex.org/W4245077728","https://openalex.org/W2900360912","https://openalex.org/W2607424049","https://openalex.org/W2102015005"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,84,92,97,138],"new":[3],"synthesis":[4,21,52],"algorithm":[5,55],"that":[6],"can":[7,56,136],"efficiently":[8,146],"search":[9,39],"programs":[10,28,43,61,90,118],"with":[11,29,62,119],"local":[12,31,63,106,120],"variables":[13],"(e.g.,":[14,44],"those":[15],"introduced":[16],"by":[17],"lambdas).":[18],"Prior":[19],"bottom-up":[20],"algorithms":[22],"are":[23,124],"not":[24],"able":[25],"to":[26,72,86,99,111],"evaluate":[27,112],"free":[30],"variables,":[32,107],"and":[33,113,152],"therefore":[34],"cannot":[35],"effectively":[36],"reduce":[37,57,114],"the":[38,58,75,115,127],"space":[40,59,116],"of":[41,60,117,129,142],"such":[42],"using":[45],"standard":[46],"observational":[47],"equivalence":[48],"reduction":[49],"techniques),":[50],"making":[51],"slow.":[53],"Our":[54,122],"variables.":[64,121],"The":[65,132],"key":[66],"idea,":[67],"dubbed":[68],"lifted":[69],"interpretation,":[70],"is":[71],"lift":[73],"up":[74],"program":[76,82],"interpretation":[77,95],"process,":[78],"from":[79,91],"evaluating":[80,88],"one":[81],"at":[83],"time":[85],"simultaneously":[87],"all":[89,102],"grammar.":[93],"Lifted":[94],"provides":[96],"mechanism":[98],"systematically":[100],"enumerate":[101],"binding":[103],"contexts":[104],"for":[105],"thereby":[108],"enabling":[109],"us":[110],"ideas":[123],"instantiated":[125],"in":[126],"domain":[128],"web":[130],"automation.":[131],"resulting":[133],"tool,":[134],"Arborist,":[135],"automate":[137],"significantly":[139],"broader":[140],"range":[141],"challenging":[143],"tasks":[144],"more":[145],"than":[147],"state-of-the-art":[148],"techniques":[149],"including":[150],"WebRobot":[151],"Helena.":[153]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4388514484","counts_by_year":[],"updated_date":"2025-01-01T19:51:04.707271","created_date":"2023-11-09"}