{"id":"https://openalex.org/W4223556557","doi":"https://doi.org/10.1007/s42979-022-01090-4","title":"Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions","display_name":"Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions","publication_year":2022,"publication_date":"2022-04-10","ids":{"openalex":"https://openalex.org/W4223556557","doi":"https://doi.org/10.1007/s42979-022-01090-4"},"language":"en","primary_location":{"id":"doi:10.1007/s42979-022-01090-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-022-01090-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/s42979-022-01090-4","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045234906","display_name":"B\u00e1lint Mucs\u00e1nyi","orcid":"https://orcid.org/0000-0002-7075-9018"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"B\u00e1lint Mucs\u00e1nyi","raw_affiliation_strings":["Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-7075-9018","affiliations":[{"raw_affiliation_string":"Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049717628","display_name":"B\u00e1lint Gyarmathy","orcid":"https://orcid.org/0000-0002-1818-611X"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"B\u00e1lint Gyarmathy","raw_affiliation_strings":["Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary"],"raw_orcid":"https://orcid.org/0000-0002-1818-611X","affiliations":[{"raw_affiliation_string":"Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045743963","display_name":"\u00c1d\u00e1m Tibor Czapp","orcid":"https://orcid.org/0000-0001-9576-2080"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"\u00c1d\u00e1m Czapp","raw_affiliation_strings":["Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary"],"raw_orcid":"https://orcid.org/0000-0001-9576-2080","affiliations":[{"raw_affiliation_string":"Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028728217","display_name":"Bal\u00e1zs Pint\u00e9r","orcid":"https://orcid.org/0000-0003-3431-0667"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Bal\u00e1zs Pint\u00e9r","raw_affiliation_strings":["Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary"],"raw_orcid":"https://orcid.org/0000-0003-3431-0667","affiliations":[{"raw_affiliation_string":"Faculty of Informatics, ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, P\u00e1zm\u00e1ny P\u00e9ter s\u00e9t\u00e1ny 1/C, Budapest, 1117, Hungary","institution_ids":["https://openalex.org/I106118109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5045234906"],"corresponding_institution_ids":["https://openalex.org/I106118109"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0512677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/operand","display_name":"Operand","score":0.753792405128479},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6691199541091919},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.6428818702697754},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6275066137313843},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5895693898200989},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5678359866142273},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5614705085754395},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5123182535171509},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.5017156600952148},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.501542329788208},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.44491708278656006},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41764116287231445},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3967454433441162},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32020366191864014},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18465793132781982},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.09429606795310974},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07222363352775574}],"concepts":[{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.753792405128479},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6691199541091919},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6428818702697754},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6275066137313843},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5895693898200989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5678359866142273},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5614705085754395},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5123182535171509},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.5017156600952148},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.501542329788208},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.44491708278656006},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41764116287231445},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3967454433441162},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32020366191864014},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18465793132781982},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09429606795310974},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07222363352775574},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s42979-022-01090-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-022-01090-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:edit.elte.hu:10831/89632","is_oa":true,"landing_page_url":"http://hdl.handle.net/10831/89632","pdf_url":null,"source":{"id":"https://openalex.org/S4306400126","display_name":"ELTE Digital Institutional Repository (EDIT) (E\u00f6tv\u00f6s Lor\u00e1nd University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I106118109","host_organization_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","host_organization_lineage":["https://openalex.org/I106118109"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s42979-022-01090-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42979-022-01090-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326124","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd Tudom\u00e1nyegyetem","ror":"https://ror.org/01jsq2704"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1655078475","https://openalex.org/W2003879744","https://openalex.org/W2064675550","https://openalex.org/W2068981034","https://openalex.org/W2094878426","https://openalex.org/W2131774270","https://openalex.org/W2157331557","https://openalex.org/W2466191210","https://openalex.org/W2768510408","https://openalex.org/W3126940280","https://openalex.org/W4229675450","https://openalex.org/W4235761353","https://openalex.org/W4237412827","https://openalex.org/W4241222526"],"related_works":["https://openalex.org/W2055541046","https://openalex.org/W1967784590","https://openalex.org/W2329128713","https://openalex.org/W2327497304","https://openalex.org/W2044215988","https://openalex.org/W2123715679","https://openalex.org/W2356629573","https://openalex.org/W2092937342","https://openalex.org/W4223556557","https://openalex.org/W4319999454"],"abstract_inverted_index":{"Abstract":[0],"We":[1,24,44,111,153],"introduce":[2],"a":[3,29,38],"flexible":[4,89],"program":[5,170],"synthesis":[6,137],"system":[7,34,114,141],"whose":[8],"task":[9],"is":[10,79,86,160],"to":[11,19,35,37,61,69,115,130],"predict":[12],"function":[13,118,133,148],"compositions":[14,119,134,149],"that":[15,76,155],"transform":[16],"given":[17,22],"inputs":[18,108],"their":[20],"corresponding":[21],"outputs.":[23,110],"process":[25],"input":[26,42,94],"lists":[27],"in":[28,51,90,157],"sequential":[30],"manner,":[31],"allowing":[32],"the":[33,46,49,52,56,70,93,96,99,103,107,113,128,136],"generalize":[36],"wide":[39],"range":[40,105],"of":[41,55,92,98,106],"lengths.":[43],"separate":[45],"operator":[47],"and":[48,102,109,127],"operand":[50],"lambda":[53,100],"functions":[54,60,124],"used":[57],"higher":[58],"order":[59],"achieve":[62],"significantly":[63],"wider":[64],"numeric":[65],"parameter":[66],"ranges":[67],"compared":[68],"previous":[71],"works.":[72],"The":[73,139],"evaluations":[74],"show":[75],"this":[77],"approach":[78],"competitive":[80],"with":[81,150,168],"state-of-the-art":[82,143],"systems,":[83],"while":[84,145],"it":[85],"much":[87],"more":[88],"terms":[91],"length,":[95],"parameters":[97],"functions,":[101],"integer":[104],"extend":[112],"handle":[116],"tree-structured":[117],"by":[120],"introducing":[121],"two":[122],"additional":[123],"(,":[125],"copy)":[126],"ability":[129],"represent":[131],"unfinished":[132],"during":[135],"process.":[138],"extended":[140],"achieves":[142],"results":[144],"synthesizing":[146],"complex":[147],"multiple":[151],"forks.":[152],"believe":[154],"flexibility":[156],"these":[158],"aspects":[159],"an":[161],"important":[162],"step":[163],"towards":[164],"solving":[165],"real-world":[166],"problems":[167],"example-based":[169],"synthesis.":[171]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}