{"id":"https://openalex.org/W4401414390","doi":"https://doi.org/10.1109/cec60901.2024.10612128","title":"Program Synthesis on Single-Layer Loop Behavior in Pure Functional Programming","display_name":"Program Synthesis on Single-Layer Loop Behavior in Pure Functional Programming","publication_year":2024,"publication_date":"2024-06-30","ids":{"openalex":"https://openalex.org/W4401414390","doi":"https://doi.org/10.1109/cec60901.2024.10612128"},"language":"en","primary_location":{"id":"doi:10.1109/cec60901.2024.10612128","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cec60901.2024.10612128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Congress on Evolutionary Computation (CEC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108045570","display_name":"T. M. Hsu","orcid":"https://orcid.org/0009-0009-7192-3543"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Tzu-Hao Hsu","raw_affiliation_strings":["National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069456338","display_name":"Chi\u2010Hsien Chang","orcid":"https://orcid.org/0009-0008-3561-7859"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chi-Hsien Chang","raw_affiliation_strings":["National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011802505","display_name":"Tian\u2013Li Yu","orcid":"https://orcid.org/0000-0002-0273-9330"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Tian-Li Yu","raw_affiliation_strings":["National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University,Taiwan Evolutionary Intelligence Lab,Department of Electrical Engineering,Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5108045570"],"corresponding_institution_ids":["https://openalex.org/I16733864"],"apc_list":null,"apc_paid":null,"fwci":0.3637,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65434049,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9998000264167786,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9930999875068665,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9858999848365784,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6356624960899353},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.6236454844474792},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.5758395791053772},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3433217406272888},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3404845595359802},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.1876046061515808},{"id":"https://openalex.org/keywords/composite-material","display_name":"Composite material","score":0.12799730896949768},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12607091665267944}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6356624960899353},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.6236454844474792},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.5758395791053772},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3433217406272888},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3404845595359802},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.1876046061515808},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.12799730896949768},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12607091665267944},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cec60901.2024.10612128","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cec60901.2024.10612128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Congress on Evolutionary Computation (CEC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1502767928","https://openalex.org/W1593481303","https://openalex.org/W1905591175","https://openalex.org/W1973831620","https://openalex.org/W1978661986","https://openalex.org/W2014239346","https://openalex.org/W2027649639","https://openalex.org/W2028569720","https://openalex.org/W2040492000","https://openalex.org/W2045255985","https://openalex.org/W2045323411","https://openalex.org/W2071806120","https://openalex.org/W2101565274","https://openalex.org/W2127490568","https://openalex.org/W2136414484","https://openalex.org/W2154053567","https://openalex.org/W2604556510","https://openalex.org/W2750952386","https://openalex.org/W2886010853","https://openalex.org/W2898348225","https://openalex.org/W2955973312","https://openalex.org/W2959830294","https://openalex.org/W3038148088","https://openalex.org/W3102501010","https://openalex.org/W3173383004","https://openalex.org/W4220900977","https://openalex.org/W4229675450","https://openalex.org/W4281728108","https://openalex.org/W4285805238","https://openalex.org/W4293068983","https://openalex.org/W4362706991","https://openalex.org/W4380136196","https://openalex.org/W6603572680"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W24774503","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2014821076","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Program":[0],"synthesis":[1],"(PS)":[2],"is":[3,19,32],"a":[4,29,35,70,83,182],"field":[5],"devoted":[6],"to":[7,23,51,86,110,190,194],"auto-matically":[8],"generating":[9],"computer":[10],"programs":[11,116,139],"from":[12,144,147],"high-level":[13],"specifications,":[14],"and":[15,54,92,114,130,142,149],"genetic":[16,67],"programming":[17,68,79],"(GP)":[18],"one":[20],"commonly-used":[21],"way":[22],"achieve":[24],"PS.":[25],"PushGP,":[26,128],"operating":[27],"on":[28,46,140],"stack-based":[30],"language,":[31],"considered":[33],"as":[34],"state-of-the-art":[36],"program":[37,73],"synthesizer":[38,74],"among":[39],"GPs,":[40],"while":[41],"another":[42],"research":[43],"trend":[44],"foucus":[45],"the":[47,52,55,64,76,88,94,105,112,118,135,157,174,178,192,197],"grammar-based":[48,72],"languages":[49],"due":[50],"readability":[53],"ease":[56],"of":[57,134,137,152,176,199],"maintenance.":[58],"In":[59],"this":[60],"paper,":[61],"we":[62],"propose":[63],"repetitive":[65],"structure":[66],"(RSGP),":[69],"new":[71],"under":[75],"pure":[77],"functional":[78],"paradigm.":[80],"RSGP":[81,126,185],"defines":[82],"recursive":[84],"function":[85],"simulate":[87],"single-layer":[89],"loop":[90],"behavior":[91],"leverages":[93],"minimum":[95],"redundancy":[96],"maximum":[97],"relevance":[98],"<tex":[99,163],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[100,164],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$(\\text{mRMR})$</tex>":[101],"feature":[102],"selection":[103],"with":[104,166,173],"Pearson":[106],"correlation":[107],"coefficient":[108],"(PCC)":[109],"select":[111],"capable":[113],"diverse":[115],"for":[117],"next":[119],"generation.":[120],"The":[121],"experiment":[122],"results":[123],"show":[124],"that":[125,161],"outperforms":[127],"CBGP,":[129],"HOTGP":[131],"in":[132],"terms":[133],"number":[136],"successful":[138],"CountOdds":[141],"LastIndexofZero":[143],"PSBl,":[145],"Luhn":[146],"PSB2,":[148],"3":[150],"out":[151],"4":[153],"designed":[154],"problems.":[155,201],"Additionally,":[156],"ablation":[158],"study":[159],"indicates":[160],"using":[162],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\text{mRMR}$</tex>":[165],"PCC":[167],"does":[168],"encourage":[169],"proper":[170],"problem":[171],"decomposition":[172],"trade-off":[175,193],"diminishing":[177],"search":[179],"ability":[180],"within":[181],"similar":[183],"neighborhood.":[184],"utilizes":[186],"an":[187],"adaptation":[188],"mechanism":[189],"balance":[191],"automatically":[195],"fit":[196],"needs":[198],"different":[200]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}