{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:19:09Z","timestamp":1752985149483,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T00:00:00Z","timestamp":1552521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009001","name":"University of York","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009001","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s10710-019-09347-3","type":"journal-article","created":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T14:07:17Z","timestamp":1552572437000},"page":"327-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire"],"prefix":"10.1007","volume":"20","author":[{"given":"Jerry","family":"Swan","sequence":"first","affiliation":[]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[]},{"given":"Zoltan A","family":"Kocsis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,14]]},"reference":[{"key":"9347_CR1","first-page":"166","volume-title":"Learning Recursive Functions with Object Oriented Genetic Programming","author":"A Agapitos","year":"2006","unstructured":"A. Agapitos, S.M. Lucas, Learning Recursive Functions with Object Oriented Genetic Programming (Springer, Berlin, 2006), pp. 166\u2013177"},{"key":"9347_CR2","first-page":"291","volume-title":"Evolving a Statistics Class Using Object Oriented Evolutionary Programming","author":"A Agapitos","year":"2007","unstructured":"A. Agapitos, S.M. Lucas, Evolving a Statistics Class Using Object Oriented Evolutionary Programming (Springer, Berlin, 2007), pp. 291\u2013300"},{"issue":"2","key":"9347_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10710-016-9277-5","volume":"18","author":"A Agapitos","year":"2017","unstructured":"A. Agapitos, M. O\u2019Neill, A. Kattan, S.M. Lucas, Recursion in tree-based genetic programming. Genet. Program. Evolvab. Mach. 18(2), 149\u2013183 (2017)","journal-title":"Genet. Program. Evolvab. Mach."},{"key":"9347_CR4","first-page":"324","volume-title":"Using Scaffolding with Partial Call-Trees to Improve Search","author":"B Alexander","year":"2016","unstructured":"B. Alexander, C. Pyromallis, G. Lorenzetti, B. Zacher, Using Scaffolding with Partial Call-Trees to Improve Search (Springer, Cham, 2016), pp. 324\u2013334"},{"key":"9347_CR5","doi-asserted-by":"crossref","unstructured":"B. Alexander, B. Zacher, in Parallel Problem Solving from Nature (PPSN) XIII: Conference Proceedings. Chapter Boosting Search for Recursive Functions Using Partial Call-Trees (Springer, Ljubljana, Slovenia, 2014), pp. 384\u2013393","DOI":"10.1007\/978-3-319-10762-2_38"},{"key":"9347_CR6","volume-title":"Algebra ofPprogramming, Prentice Hall International series in computer science","author":"RS Bird","year":"1997","unstructured":"R.S. Bird, O. de Moor, Algebra ofPprogramming, Prentice Hall International series in computer science (Prentice Hall, Upper Saddle River, 1997)"},{"key":"9347_CR7","first-page":"147","volume-title":"Ant Colony Programming for Approximation Problems","author":"M Boryczka","year":"2002","unstructured":"M. Boryczka, Ant Colony Programming for Approximation Problems (Physica-Verlag HD, Heidelberg, 2002), pp. 147\u2013156"},{"key":"9347_CR8","first-page":"85","volume-title":"Performance enhanced genetic programming","author":"C Clack","year":"1997","unstructured":"C. Clack, T. Yu, Performance enhanced genetic programming (Springer, Berlin, 1997), pp. 85\u2013100"},{"key":"9347_CR9","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M Dorigo","year":"2004","unstructured":"M. Dorigo, T. St\u00fctzle, Ant Colony Optimization (Bradford Company, Scituate, 2004)"},{"issue":"5","key":"9347_CR10","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1109\/TEVC.2014.2362729","volume":"19","author":"T Helmuth","year":"2015","unstructured":"T. Helmuth, L. Spector, J. Matheson, Solving uncompromising problems with lexicase selection. IEEE Trans. Evol. Comput. 19(5), 630\u2013643 (2015)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9347_CR11","unstructured":"T.M. Helmuth, General Program Synthesis from Examples Using Genetic Programming with Parent Selection Based on Random Lexicographic Orderings of Test Cases. PhD thesis, College of Information and Computer Sciences, University of Massachusetts Amherst, USA, (September 2015)"},{"key":"9347_CR12","first-page":"209","volume-title":"Unifying structured recursion schemes, in Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP \u201913","author":"R Hinze","year":"2013","unstructured":"R. Hinze, N. Wu, J. Gibbons, Unifying structured recursion schemes, in Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP \u201913 (ACM, New York, NY, USA, 2013), pp. 209\u2013220"},{"key":"9347_CR13","unstructured":"M. Hofmann, U. Schmid, Data-driven detection of recursive program schemes. in Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (IOS Press, Amsterdam, The Netherlands, The Netherlands, 2010), pp. 1063\u20131064"},{"key":"9347_CR14","first-page":"186","volume-title":"Genetic Programming 1997","author":"L Huelsbergen","year":"1997","unstructured":"L. Huelsbergen, Learning recursive sequences via evolution of machine-language programs, in Genetic Programming 1997, ed. by J.R. Koza, K. Deb (Morgan Kaufmann, Burlington, 1997), pp. 186\u2013194"},{"issue":"4","key":"9347_CR15","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S0956796899003500","volume":"9","author":"G Hutton","year":"1999","unstructured":"G. Hutton, A tutorial on the universality and expressiveness of fold. J. Funct. Program. 9(4), 355\u2013372 (1999)","journal-title":"J. Funct. Program."},{"key":"9347_CR16","unstructured":"Z.A. Kocsis, J. Swan, Dependency injection for programming by optimization. ArXiv e-prints, (July 2017)"},{"issue":"2","key":"9347_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10817-017-9409-5","volume":"60","author":"ZA Kocsis","year":"2018","unstructured":"Z.A. Kocsis, J. Swan, Genetic programming + proof search = automatic improvement. J. Autom. Reason. 60(2), 157\u2013176 (2018)","journal-title":"J. Autom. Reason."},{"key":"9347_CR18","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"JR Koza","year":"1992","unstructured":"J.R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection (MIT Press, Cambridge, MA, 1992)"},{"key":"9347_CR19","volume-title":"Conceptual Mathematics: A First Introduction to Categories","author":"FW Lawvere","year":"1991","unstructured":"F.W. Lawvere, S.H. Schanuel, Conceptual Mathematics: A First Introduction to Categories (Buffalo Workshop Press, Buffalo, NY, 1991)"},{"issue":"2\u20133","key":"9347_CR20","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G Malcolm","year":"1990","unstructured":"G. Malcolm, Data structures and program transformation. Sci. Comput. Program. 14(2\u20133), 255\u2013279 (1990)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"9347_CR21","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01211391","volume":"4","author":"L Meertens","year":"1992","unstructured":"L. Meertens, Paramorphisms. Form. Aspects Comput. 4(5), 413\u2013424 (1992)","journal-title":"Paramorphisms. Form. Aspects Comput."},{"key":"9347_CR22","first-page":"124","volume-title":"Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire","author":"E Meijer","year":"1991","unstructured":"E. Meijer, M. Fokkinga, R. Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (Springer, Berlin, Heidelberg, 1991), pp. 124\u2013144"},{"key":"9347_CR23","doi-asserted-by":"crossref","unstructured":"A. Moraglio, K. Krawiec, Geometric semantic genetic programming for recursive boolean programs, in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO \u201917, Berlin, Germany, 15-19 (ACM, July 2017), pp. 993\u20131000","DOI":"10.1145\/3071178.3071266"},{"key":"9347_CR24","doi-asserted-by":"crossref","unstructured":"A. Moraglio, F. Otero, C. Johnson, S. Thompson, A. Freitas, Evolving recursive programs using non-recursive scaffolding, in Proceedings of the 2012 IEEE Congress on Evolutionary Computation, ed. by L. Xiaodong (Brisbane, Australia, 10\u201315, 2012), pp. 2242\u20132249","DOI":"10.1109\/CEC.2012.6256545"},{"key":"9347_CR25","unstructured":"Masato Nishiguchi, Yoshiji Fujimoto. Evolutions of recursive programs with multi-niche genetic programming (mngp). in Proceedings of the 1998 IEEE World Congress on Computational Intelligence (IEEE Press, Anchorage, Alaska, USA, 5\u20139 May, 1998). pp. 247\u2013252"},{"key":"9347_CR26","doi-asserted-by":"crossref","unstructured":"T. Phillips, M. Zhang, B. Xue, Genetic programming for solving common and domain-independent generic recursive problems, in 2017 IEEE Congress on Evolutionary Computation (CEC), ed. by J.A. Lozano (Donostia, San Sebastian, Spain, 5-8, 2017), pp. 1279\u20131286. IEEE","DOI":"10.1109\/CEC.2017.7969452"},{"key":"9347_CR27","volume-title":"A Field Guide to Genetic Programming","author":"R Poli","year":"2008","unstructured":"R. Poli, W.B. Langdon, N.F. McPhee, A Field Guide to Genetic Programming (Lulu Enterprises, UK Ltd, Essex, 2008)"},{"key":"9347_CR28","first-page":"97","volume-title":"Three Approaches to Type Structure","author":"JC Reynolds","year":"1985","unstructured":"J.C. Reynolds, Three Approaches to Type Structure (Springer, Berlin, 1985), pp. 97\u2013138"},{"key":"9347_CR29","first-page":"177","volume-title":"Graph Structured Program Evolution: Evolution of Loop Structures","author":"S Shirakawa","year":"2010","unstructured":"S. Shirakawa, T. Nagao, Graph Structured Program Evolution: Evolution of Loop Structures (Springer, Boston, 2010), pp. 177\u2013194"},{"key":"9347_CR30","unstructured":"L. Spector, Assessment of problem modality by differential performance of lexicase selection in genetic programming: A preliminary report, in 1st workshop on Understanding Problems (GECCO-UP), ed. by K. McClymont, E. Keedwell (ACM, Philadelphia, Pennsylvania, USA, 7-11, 2012), pp. 401\u2013408"},{"key":"9347_CR31","doi-asserted-by":"crossref","unstructured":"L. Spector, J. Klein, M. Keijzer, The push3 execution stack and the evolution of control. in Proceedings of the 7th Annual Conference on Genetic and Evolutionary Computation, GECCO \u201905 (ACM, New York, 2005), pp. 1689\u20131696","DOI":"10.1145\/1068009.1068292"},{"issue":"1","key":"9347_CR32","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1014538503543","volume":"3","author":"L Spector","year":"2002","unstructured":"L. Spector, A. Robinson, Genetic programming and autoconstructive evolution with the push programming language. Genet. Program. Evolv. Mach. 3(1), 7\u201340 (2002)","journal-title":"Genet. Program. Evolv. Mach."},{"issue":"9","key":"9347_CR33","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0167-739X(00)00043-1","volume":"16","author":"T St\u00fctzle","year":"2000","unstructured":"T. St\u00fctzle, H.H. Hoos, Max-min ant system. Fut. Gen. Comput. Syst. 16(9), 889\u2013914 (2000)","journal-title":"Fut. Gen. Comput. Syst."},{"key":"9347_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-60154-6_44","volume-title":"Progress in Evolutionary Computation","author":"PA Whigham","year":"1995","unstructured":"P.A. Whigham, R.I. McKay, Genetic approaches to learning recursive relations, in Progress in Evolutionary Computation, vol. 956, Lecture Notes in Artificial Intelligence, ed. by X. Yao (Springer, Manager, 1995), pp. 17\u201324"},{"key":"9347_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10710-012-9177-2","volume":"14","author":"DR White","year":"2013","unstructured":"D.R. White, J. McDermott, M. Castelli, L. Manzoni, B.W. Goldman, G. Kronberger, W. Ja\u015bkowski, U.-M. O\u2019Reilly, S. Luke, Better gp benchmarks: community survey results and proposals. Genet. Program. Evolv. Mach. 14, 3\u201329 (2013)","journal-title":"Genet. Program. Evolv. Mach."},{"key":"9347_CR36","doi-asserted-by":"crossref","unstructured":"G. Wilson, M. Heywood, Learning recursive programs with cooperative coevolution of genetic code mapping and genotype, in GECCO \u201907: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, vol. 1, ed. by D. Thierens, H.-G. Beyer, et al. (ACM Press, London, 2007), pp. 1053\u20131061","DOI":"10.1145\/1276958.1277165"},{"key":"9347_CR37","first-page":"1437","volume-title":"Template method hyper-heuristics, in Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation, GECCO Comp \u201914","author":"JR Woodward","year":"2014","unstructured":"J.R. Woodward, J. Swan, Template method hyper-heuristics, in Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation, GECCO Comp \u201914 (ACM, New York, 2014), pp. 1437\u20131438"},{"key":"9347_CR38","unstructured":"T. Yu, Structure abstraction and genetic programming, in Proceedings of the Congress on Evolutionary Computation, vol. 1, ed. by P.J. Angeline, Z. Michalewicz, et al. (IEEE Press, Washington, 1999), pp. 652\u2013659"},{"key":"9347_CR39","first-page":"93","volume-title":"Genetic Programming Theory and Practice III, volume 9 of Genetic Programming, chapter 7","author":"T Yu","year":"2005","unstructured":"T. Yu, A higher-order function approach to evolve recursive programs, in Genetic Programming Theory and Practice III, volume 9 of Genetic Programming, chapter 7, ed. by T. Yu, R.L. Riolo, B. Worzel, et al. (Springer, Ann Arbor, 2005), pp. 93\u2013108"},{"key":"9347_CR40","unstructured":"T. Yu, C. Clack, Recursion, lambda abstractions and genetic programming, in Genetic Programming 1998, ed. by J.R. Koza, W. Banzhaf (Wisconsin, USA, 1998), pp. 422\u2013431. Morgan Kaufmann"}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-019-09347-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10710-019-09347-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-019-09347-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:36:29Z","timestamp":1584059789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10710-019-09347-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,14]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["9347"],"URL":"https:\/\/doi.org\/10.1007\/s10710-019-09347-3","relation":{},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"type":"print","value":"1389-2576"},{"type":"electronic","value":"1573-7632"}],"subject":[],"published":{"date-parts":[[2019,3,14]]},"assertion":[{"value":"1 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 February 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}