David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, and Jürgen Fischer Nilsson. Synthesis of programs in computational logic. In PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC, pages 30–65. Springer, 2004.
CrossRef
Google Scholar
Robyn Ffrancon and Marc Schoenauer. Memetic semantic genetic programming. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO ’15, pages 1023–1030, New York, NY, USA, 2015. ACM.
Google Scholar
Alex Graves, Greg Wayne, Malcolm Reynolds, Tim Harley, Ivo Danihelka, Agnieszka Grabska-Barwińska, Sergio Gómez Colmenarejo, Edward Grefenstette, Tiago Ramalho, John Agapiou, et al. Hybrid computing using a neural network with dynamic external memory. Nature, 538(7626):471–476, 2016.
CrossRef
Google Scholar
Sumit Gulwani. Dimensions in program synthesis. In Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, pages 13–24. ACM, 2010.
Google Scholar
Mark Hall, Eibe Frank, Geoffrey Holmes, Bernhard Pfahringer, Peter Reutemann, and Ian H. Witten. The weka data mining software: An update. SIGKDD Explor. Newsl., 11(1):10–18, November 2009.
CrossRef
Google Scholar
Thomas Haynes. On-line adaptation of search via knowledge reuse. Genetic Programming 1997: Proceedings of the Second Annual Conference, pages 156–161. Morgan Kaufmann Publishers Inc., 1997.
Google Scholar
John R Koza. Genetic programming: on the programming of computers by means of natural selection, volume 1. MIT press, 1992.
Google Scholar
Krzysztof Krawiec. Behavioral Program Synthesis with Genetic Programming, volume 618 of Studies in Computational Intelligence. Springer International Publishing, 2015.
Google Scholar
Krzysztof Krawiec and Una-May O’Reilly. Behavioral programming: a broader and more detailed take on semantic gp. In Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, pages 935–942. ACM, 2014.
Google Scholar
Krzysztof Krawiec and Jerry Swan. Pattern-guided genetic programming. In Proceedings of the 15th annual conference on Genetic and evolutionary computation, pages 949–956. ACM, 2013.
Google Scholar
Paweł Liskowski and Krzysztof Krawiec. Online discovery of search objectives for test-based problems. Evolutionary Computation, 25:375–406, 2016.
CrossRef
Google Scholar
James McDermott, David R White, Sean Luke, Luca Manzoni, Mauro Castelli, Leonardo Vanneschi, Wojciech Jaskowski, Krzysztof Krawiec, Robin Harper, Kenneth De Jong, et al. Genetic programming needs better benchmarks. In Proceedings of the 14th annual conference on Genetic and evolutionary computation, pages 791–798. ACM, 2012.
Google Scholar
Robert I McKay. Fitness sharing in genetic programming. In Proceedings of the 2nd Annual Conference on Genetic and Evolutionary Computation, pages 435–442. Morgan Kaufmann Publishers Inc., 2000.
Google Scholar
Nicholas Freitag McPhee, Brian Ohs, and Tyler Hutchison. Semantic building blocks in genetic programming. In European Conference on Genetic Programming, pages 134–145. Springer, 2008.
Google Scholar
Martin C Rinard. Example-driven program synthesis for end-user programming: technical perspective. Communications of the ACM, 55(8):96–96, 2012.
CrossRef
Google Scholar
Armando Solar-Lezama. Program synthesis by sketching. PhD Thesis, University of California, Berkeley, 2008.
Google Scholar
Saurabh Srivastava, Sumit Gulwani, and Jeffrey S Foster. From program verification to program synthesis. In ACM Sigplan Notices, volume 45, pages 313–326. ACM, 2010.
Google Scholar
Leonardo Vanneschi, Mauro Castelli, and Sara Silva. A survey of semantic methods in genetic programming. Genetic Programming and Evolvable Machines, 15(2):195–214, 2014.
CrossRef
Google Scholar
Westley Weimer, Stephanie Forrest, Claire Le Goues, and ThanhVu Nguyen. Automatic program repair with evolutionary computation. Communications of the ACM, 53(5):109–116, 2010.
CrossRef
Google Scholar