{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:51Z","timestamp":1750220991636,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T00:00:00Z","timestamp":1562976000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,13]]},"DOI":"10.1145\/3319619.3326758","type":"proceedings-article","created":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T12:10:59Z","timestamp":1562760659000},"page":"35-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Stochastic program synthesis via recursion schemes"],"prefix":"10.1145","author":[{"given":"Jerry","family":"Swan","sequence":"first","affiliation":[{"name":"University of York, York, United Kingdom"}]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[{"name":"Pozna\u0144 University of Technology, Pozna\u0144, Poland"}]},{"given":"Zoltan A.","family":"Kocsis","sequence":"additional","affiliation":[{"name":"The University of Manchester, Manchester, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2019,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. Genetic Programming and Evolvable Machines (3","author":"Swan Jerry","year":"2019","unstructured":"Jerry Swan , Krzysztof Krawiec , and Zoltan A Kocsis . 2019. Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. Genetic Programming and Evolvable Machines (3 2019 ), 1--24. Direct link: https:\/\/rdcu.be\/bq8rF. Jerry Swan, Krzysztof Krawiec, and Zoltan A Kocsis. 2019. Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. Genetic Programming and Evolvable Machines (3 2019), 1--24. Direct link: https:\/\/rdcu.be\/bq8rF."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11729976_15"},{"volume-title":"Using Scaffolding with Partial Call-Trees to Improve Search","author":"Alexander Brad","key":"e_1_3_2_1_3_1","unstructured":"Brad Alexander , Connie Pyromallis , George Lorenzetti , and Brad Zacher . 2016. Using Scaffolding with Partial Call-Trees to Improve Search . Springer International Publishing , Cham , 324--334. Brad Alexander, Connie Pyromallis, George Lorenzetti, and Brad Zacher. 2016. Using Scaffolding with Partial Call-Trees to Improve Search. Springer International Publishing, Cham, 324--334."},{"volume-title":"Ant Colony Programming for Approximation Problems","author":"Boryczka Mariusz","key":"e_1_3_2_1_4_1","unstructured":"Mariusz Boryczka . 2002. Ant Colony Programming for Approximation Problems . Physica-Verlag HD , Heidelberg , 147--156. Mariusz Boryczka. 2002. Ant Colony Programming for Approximation Problems. Physica-Verlag HD, Heidelberg, 147--156."},{"volume-title":"Performance enhanced genetic programming","author":"Clack Chris","key":"e_1_3_2_1_5_1","unstructured":"Chris Clack and Tina Yu. 1997. Performance enhanced genetic programming . Springer Berlin Heidelberg , Berlin, Heidelberg , 85--100. Chris Clack and Tina Yu. 1997. Performance enhanced genetic programming. Springer Berlin Heidelberg, Berlin, Heidelberg, 85--100."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003500"},{"key":"e_1_3_2_1_7_1","volume-title":"Kocsis and Jerry Swan","author":"Zoltan","year":"2014","unstructured":"Zoltan A. Kocsis and Jerry Swan . 2014 . Asymptotic Genetic Improvement Programming via Type Functors and Catamorphisms. In Semantic Methods in Genetic Programming, Colin Johnson, Krzysztof Krawiec, Alberto Moraglio, and Michael O'Neill (Eds.). Ljubljana, Slovenia . Zoltan A. Kocsis and Jerry Swan. 2014. Asymptotic Genetic Improvement Programming via Type Functors and Catamorphisms. In Semantic Methods in Genetic Programming, Colin Johnson, Krzysztof Krawiec, Alberto Moraglio, and Michael O'Neill (Eds.). Ljubljana, Slovenia."},{"key":"e_1_3_2_1_8_1","volume-title":"Kocsis and Jerry Swan","author":"Zoltan","year":"2017","unstructured":"Zoltan A. Kocsis and Jerry Swan . 2017 . Dependency Injection for Programming by Optimization. ArXiv e-print (July 2017). arXiv:cs.AI\/1707.04016 Zoltan A. Kocsis and Jerry Swan. 2017. Dependency Injection for Programming by Optimization. ArXiv e-print (July 2017). arXiv:cs.AI\/1707.04016"},{"key":"e_1_3_2_1_9_1","volume-title":"Kocsis and Jerry Swan","author":"Zoltan","year":"2017","unstructured":"Zoltan A. Kocsis and Jerry Swan . 2017 . Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning (Mar 2017). Zoltan A. Kocsis and Jerry Swan. 2017. Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning (Mar 2017)."},{"key":"e_1_3_2_1_10_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza John R.","year":"1992","unstructured":"John R. Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA . John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969452"},{"volume-title":"Graph Structured Program Evolution: Evolution of Loop Structures","author":"Shirakawa Shinichi","key":"e_1_3_2_1_12_1","unstructured":"Shinichi Shirakawa and Tomoharu Nagao . 2010. Graph Structured Program Evolution: Evolution of Loop Structures . Springer US , Boston, MA , 177--194. Shinichi Shirakawa and Tomoharu Nagao. 2010. Graph Structured Program Evolution: Evolution of Loop Structures. Springer US, Boston, MA, 177--194."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014538503543"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Progress in Evolutionary Computation, Xin Yao (Ed.)","author":"Whigham P. A.","unstructured":"P. A. Whigham and R. I. McKay . 1995. Genetic approaches to learning recursive relations . In Progress in Evolutionary Computation, Xin Yao (Ed.) . Lecture Notes in Artificial Intelligence , Vol. 956 . Springer-Verlag , 17--27. https:\/\/doi.org\/ P. A. Whigham and R. I. McKay. 1995. Genetic approaches to learning recursive relations. In Progress in Evolutionary Computation, Xin Yao (Ed.). Lecture Notes in Artificial Intelligence, Vol. 956. Springer-Verlag, 17--27. https:\/\/doi.org\/"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Congress on Evolutionary Computation, Peter J. Angeline, Zbyszek Michalewicz, et al. (Eds.)","volume":"1","author":"Yu Tina","year":"1999","unstructured":"Tina Yu . 1999 . Structure Abstraction and Genetic Programming . In Proceedings of the Congress on Evolutionary Computation, Peter J. Angeline, Zbyszek Michalewicz, et al. (Eds.) , Vol. 1 . IEEE Press, Mayflower Hotel, Washington D.C., USA, 652--659. https:\/\/doi.org\/ Tina Yu. 1999. Structure Abstraction and Genetic Programming. In Proceedings of the Congress on Evolutionary Computation, Peter J. Angeline, Zbyszek Michalewicz, et al. (Eds.), Vol. 1. IEEE Press, Mayflower Hotel, Washington D.C., USA, 652--659. https:\/\/doi.org\/"},{"volume-title":"Genetic Programming Theory and Practice III, Tina Yu, Rick L. Riolo, and Bill Worzel (Eds.). Genetic Programming","author":"Tina Yu.","key":"e_1_3_2_1_16_1","unstructured":"Tina Yu. 2005. A Higher-Order Function Approach to Evolve Recursive Programs . In Genetic Programming Theory and Practice III, Tina Yu, Rick L. Riolo, and Bill Worzel (Eds.). Genetic Programming , Vol. 9 . Springer , Ann Arbor , Chapter 7, 93--108. https:\/\/doi.org\/ Tina Yu. 2005. A Higher-Order Function Approach to Evolve Recursive Programs. In Genetic Programming Theory and Practice III, Tina Yu, Rick L. Riolo, and Bill Worzel (Eds.). Genetic Programming, Vol. 9. Springer, Ann Arbor, Chapter 7, 93--108. https:\/\/doi.org\/"},{"key":"e_1_3_2_1_17_1","volume-title":"Genetic Programming","author":"Yu Tina","year":"1998","unstructured":"Tina Yu and Chris Clack . 1998. Recursion , Lambda Abstractions and Genetic Programming . In Genetic Programming 1998 , John R. Koza, Wolfgang Banzhaf , et al. (Eds.). Morgan Kaufmann , Wisconsin, USA, 422--431. Tina Yu and Chris Clack. 1998. Recursion, Lambda Abstractions and Genetic Programming. In Genetic Programming 1998, John R. Koza, Wolfgang Banzhaf, et al. (Eds.). Morgan Kaufmann, Wisconsin, USA, 422--431."}],"event":{"name":"GECCO '19: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Prague Czech Republic","acronym":"GECCO '19"},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319619.3326758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319619.3326758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:24Z","timestamp":1750206324000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319619.3326758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,13]]},"references-count":17,"alternative-id":["10.1145\/3319619.3326758","10.1145\/3319619"],"URL":"https:\/\/doi.org\/10.1145\/3319619.3326758","relation":{},"subject":[],"published":{"date-parts":[[2019,7,13]]},"assertion":[{"value":"2019-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}