{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:51:51Z","timestamp":1742943111604,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031790317"},{"type":"electronic","value":"9783031790324"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-79032-4_1","type":"book-chapter","created":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T22:14:28Z","timestamp":1738188868000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Going Bananas! - Unfolding Program Synthesis with\u00a0Origami"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5118-2399","authenticated-orcid":false,"given":"Matheus Campos","family":"Fernandes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2741-8736","authenticated-orcid":false,"given":"Fabr\u00edcio Olivetti de","family":"Fran\u00e7a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5374-2521","authenticated-orcid":false,"given":"Emilio","family":"Francesquini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,30]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Fernandes, M.C., De\u00a0Fran\u00e7a, F.O., Francesquini, E.: HOTGP - Higher-Order Typed Genetic Programming. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, pp. 1091-1099. Association for Computing Machinery, New York (2023). https:\/\/doi.org\/10.1145\/3583131.3590464","DOI":"10.1145\/3583131.3590464"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Fernandes, M.C., de\u00a0Franca, F.O., Francesquini, E.: Origami: (un)folding the Abstraction of Recursion Schemes for Program Synthesis, pp. 263\u2013281. Springer Nature Singapore, Singapore (2024).https:\/\/doi.org\/10.1007\/978-981-99-8413-8_14","DOI":"10.1007\/978-981-99-8413-8_14"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-319-55696-3_17","volume-title":"Genetic Programming","author":"S Forstenlechner","year":"2017","unstructured":"Forstenlechner, S., Fagan, D., Nicolau, M., O\u2019Neill, M.: A grammar design pattern for arbitrary program synthesis problems in genetic programming. In: McDermott, J., Castelli, M., Sekanina, L., Haasdijk, E., Garc\u00eda-S\u00e1nchez, P. (eds.) EuroGP 2017. LNCS, vol. 10196, pp. 262\u2013277. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-55696-3_17"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-99253-2_16","volume-title":"Parallel Problem Solving from Nature \u2013 PPSN XV","author":"S Forstenlechner","year":"2018","unstructured":"Forstenlechner, S., Fagan, D., Nicolau, M., O\u2019Neill, M.: Extending program synthesis grammars for grammar-guided genetic programming. In: Auger, A., Fonseca, C.M., Louren\u00e7o, N., Machado, P., Paquete, L., Whitley, D. (eds.) PPSN 2018. LNCS, vol. 11101, pp. 197\u2013208. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99253-2_16"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Garrow, F., Lones, M.A., Stewart, R.: Why functional program synthesis matters (in the realm of genetic programming). In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2022, pp. 1844\u20131853. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3520304.3534045","DOI":"10.1145\/3520304.3534045"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Gulwani, S.: Dimensions in program synthesis. In: Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2010, pp. 13\u201324. Association for Computing Machinery, New York (2010). https:\/\/doi.org\/10.1145\/1836089.1836091, https:\/\/doi.org\/10.1145\/1836089.1836091","DOI":"10.1145\/1836089.1836091"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Helmuth, T., McPhee, N.F., Pantridge, E., Spector, L.: Improving generalization of evolved programs through automatic simplification. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, pp. 937-944. Association for Computing Machinery, New York(2017).https:\/\/doi.org\/10.1145\/3071178.3071330, https:\/\/doi.org\/10.1145\/3071178.3071330","DOI":"10.1145\/3071178.3071330"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Helmuth, T., McPhee, N.F., Spector, L.: Program synthesis using uniform mutation by addition and deletion. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1127\u20131134 (2018)","DOI":"10.1145\/3205455.3205603"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Helmuth, T., Spector, L.: General program synthesis benchmark suite. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pp. 1039\u20131046 (2015)","DOI":"10.1145\/2739480.2754769"},{"key":"1_CR10","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. Bradford Books, Cambridge, MA (Dec, Complex Adaptive Systems (1992)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol. 523, pp. 124\u2013144. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3540543961_7"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"Montana, D.J.: Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995)","journal-title":"Evol. Comput."},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"M O\u2019Neill","year":"2001","unstructured":"O\u2019Neill, M., Ryan, C.: Grammatical evolution. IEEE Trans. Evol. Comput. 5(4), 349\u2013358 (2001)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Pantridge, E., Helmuth, T., Spector, L.: Functional code building genetic programming. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2022, pp. 1000\u20131008. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3512290.3528866","DOI":"10.1145\/3512290.3528866"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Pantridge, E., Spector, L.: Code building genetic programming. In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, pp. 994\u20131002 (2020)","DOI":"10.1145\/3377930.3390239"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Sobania, D., Petke, J., Briesch, M., Rothlauf, F.: A comparison of large language models and genetic programming for program synthesis. IEEE Trans. Evolutionary Comput. (2024).https:\/\/doi.org\/10.1109\/TEVC.2024.3410873","DOI":"10.1109\/TEVC.2024.3410873"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1014538503543","volume":"3","author":"L Spector","year":"2002","unstructured":"Spector, L., Robinson, A.: Genetic programming and autoconstructive evolution with the push programming language. Genet. Program Evolvable Mach. 3, 7\u201340 (2002)","journal-title":"Genet. Program Evolvable Mach."},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Swan, J., Krawiec, K., Kocsis, Z.A.: Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. Genetic Programm. Evolvable Mach. 20(3), 327-350 (2019).https:\/\/doi.org\/10.1007\/s10710-019-09347-3","DOI":"10.1007\/s10710-019-09347-3"}],"container-title":["Lecture Notes in Computer Science","Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-79032-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T22:14:31Z","timestamp":1738188871000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-79032-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031790317","9783031790324"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-79032-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"30 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BRACIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Conference on Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bel\u00e9m do Par\u00e1","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"34","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bracis2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}