The push3 execution stack and the evolution of control

GECCO 2005 - Genetic and Evolutionary Computation Conference

Volumn , Issue , 2005, Pages 1689-1696

  Spector, Lee ^a   Klein, Jon ^a,b   Keijzer, Maarten ^c  

^a HAMPSHIRE COLLEGE   (United States)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^c Chordiant Software Inc   (Netherlands)

Author keywords

Combinators; Exponentiation; Factorial; Fibonacci sequence; Iteration; Parity; Push; Recursion; Reversing a list; Sorting; Stack based genetic prograinining

Indexed keywords

COMBINATORS; EXPONENTIATION; FACTORIAL; FIBONACCI SEQUENCE; ITERATION; PARITY; PUSH; RECURSION; REVERSING A LIST; STACK-BASED GENETIC PROGRAMMING;

COMPUTATION THEORY; EVOLUTIONARY ALGORITHMS; MATHEMATICAL PROGRAMMING; SORTING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 32444441014     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1068009.1068292     Document Type: Conference Paper

References (38)

1. R. Abbott, J. Guo, and B. Parviz. Guided genetic programming. In The 2003 International Conference on Machine Learning; Models, Technologies and Applications. CSREA Press, 2003.
2. P. J. Angeline and J. B. Pollack. Evolutionary module acquisition. In D. Fogel and W. Atmar, editors, Proceedings of the Second Annual Conference on Evolutionary Programming, pages 154-163, La Jolla, CA, USA, 25-26 Feb. 1993.
3. S. Brave. Evolving recursive programs for tree search. In P. J. Angeline and K. E. Kinnear, Jr., editors, Advances in Genetic Programming 2, chapter 10, pages 203-220. MIT Press, Cambridge, MA, USA, 1996.
4. R. Crawford-Marks and L. Spector. Size control via size fair genetic operators in the PushGP genetic programming system. In W. B. Langdon, E. Cantú-Paz, K. Mathias, R. Roy, D. Davis, R. Poli, K. Balakrishnan, V. Honavar, G. Rudolph, J. Wegener, L. Bull, M. A. Potter, A. C. Schultz, J. F. Miller, E. Burke, and N. Jonoska, editors, GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pages 733-739, New York, 9-13 July 2002. Morgan Kaufmann Publishers.
5. H. Curry and R. Feys. Combinatory Logic, 1, 1958.
6. K. E. Kinnear, Jr. Alternatives in automatic function definition: A comparison of performance. In K. E. Kinnear, Jr., editor, Advances in Genetic Programming, chapter 6, pages 119-141. MIT Press, 1994.
7. M. J. Kochenderfer. Evolving hierarchical and recursive teleo-reactive programs through genetic programming. In C. Ryan, T. Soule, M. Keijzer, E. Tsang, R. Poli, and E. Costa, editors, Genetic Programming, Proceedings of EuroGP'2003, volume 2610 of LNCS, pages 84-94, Essex, 14-16 Apr. 2003. Springer-Verlag,
8. J. Koza. Genetic programming: A paradigm for genetically breeding populations of computer programs to solve problems. Technical Report STAN-CS-90-1314, Dept. of Computer Science, Stanford University, June 1990.
9. J. R. Koza. Hierarchical genetic algorithms operating on populations of computer programs. In N. S. Sridharan, editor, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence IJCAI-89, volume 1, pages 768-774. Morgan Kaufmann, 20-25 Aug. 1989.
10. J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992.
11. J. R. Koza, David Andre, F. H. Bennett III, and M. Keane. Genetic Programming III: Darwinian Invention and Problem Solving. Morgan Kaufman, Apr. 1999.
12. K. S. Leung, K. H. Lee, and S. M. Cheang. Evolving parallel machine programs for a Multi-ALU processor. In D. B. Fogel, M. A. El-Sharkawi, X. Yao, G. Greenwood, H. Iba, P. Marrow, and M. Shackleton, editors, Proceedings of the 2002 Congress on Evolutionary Computation CEC2002, pages 1703-1708. IEEE Press, 2002.
13. K. S. Leung, K. H. Lee, and S. M. Cheang. Parallel programs are more evolvable than sequential programs. In C. Ryan, T. Soule, M. Keijzer, E. Tsang, R. Poli, and E. Costa, editors, Genetic Programming, Proceedings of EuroGP'2003, volume 2610 of LNCS, pages 108-120, Essex, 14-16 Apr. 2003. Springer-Verlag.
14. M. Nishiguchi and Y. Fujimoto. Evolutions of recursive programs with multi-niche genetic programming (mnGP). In Proceedings of the 1998 IEEE World Congress on Computational Intelligence, pages 247-252, Anchorage, Alaska, USA, 5-9 May 1998. IEEE Press.
15. P. Nordin and W. Banzhaf. Evolving Turing-complete programs for a register machine with self-modifying code. In L. Eshelman, editor, Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95), pages 318-325, Pittsburgh, PA, USA, 15-19 July 1995. Morgan Kaufmann.
16. R. Olsson. Inductive functional programming using incremental program transformation. Artificial Intelligence, 74(1):55-81, Mar. 1995.
17. T. Perkis. Stack-based genetic programming. In Proceedings of the 1994 IEEE World Congress on Computational Intelligence, volume 1, pages 148-153, Orlando, Florida, USA, 27-29 June 1994. IEEE Press.
18. A. Racine, M. Schoenauer, and P. Dague. A dynamic lattice to evolve hierarchically shared subroutines: DL'GP. In W. Banzhaf, R. Poli, M. Schoenauer, and T. C. Fogarty, editors, Proceedings of the First European Workshop on Genetic Programming, volume 1391 of LNCS, pages 220-232, Paris, 14-15 Apr. 1998. Springer-Verlag.
19. S. C. Roberts, D. Howard, and J. R. Koza. Evolving modules in genetic programming by subtree encapsulation. In J. F. Miller, M. Tomassini, P. L. Lanzi, C. Ryan, A. G. B. Tettamanzi, and W. B. Langdon, editors, Genetic Programming, Proceedings of EuroGP'2001, volume 2038 of LNCS, pages 160-175, Lake Como, Italy, 18-20 Apr. 2001. Springer-Verlag.
20. J. Schmidhuber. Optimal ordered problem solver. Technical Report IDSIA-12-02, IDSIA, 31 July 2002.
21. M. Schönfinkel. Über die bausteine der mathematischen logik. Mathematische Annalen, 92:307-316, 1924.
22. L. Spector. Simultaneous evolution of programs and their control structures. In P. J. Angeline and K. E. Kinnear, Jr., editors, Advances in Genetic Programming 2, chapter 7, pages 137-154. MIT Press, Cambridge, MA, USA, 1996.
23. L. Spector. Autoconstructive evolution: Push, pushGP, and pushpop. In L. Spector, E. D. Goodman, A. Wu, W. B. Langdon, H.-M. Voigt, M. Gen, S. Sen, M. Dorigo, S. Pezeshk, M. H. Garzon, and E. Burke, editors, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), pages 137-146, San Francisco, California, USA, 7-11 July 2001, Morgan Kaufmann.
24. L. Spector. Automatic Quantum Computer Programming: A Genetic Programming Approach, volume 7 of Genetic Programming. Kluwer Academic Publishers, Boston/Dordrecht/New York/London, June 2004. in press.
25. L. Spector, J. Klein, C. Perry, and M. Feinstein. Emergence of collective behavior in evolving populations of flying agents. In E. Cantú-Paz, J. A. Foster, K. Deb, D. Davis, R. Roy, U.-M. O'Reilly, H.-G. Beyer, R. Standish, G. Kendall, S. Wilson, M. Harman, J. Wegener, D. Dasgupta, M. A. Potter, A. C. Schultz, K. Dowsland, N. Jonoska, and J. Miller, editors, Genetic and Evolutionary Computation - GECCO-2003, volume 2723 of LNCS, pages 61-73, Chicago, 12-16 July 2003. Springer-Verlag.
26. L. Spector, J. Klein, C. Perry, and M. Feinstein. Emergence of collective behavior in evolving populations of flying agents. Genetic Programming and Evolvable Machines, 6(1):111-125, Mar. 2005.
27. L. Spector, C. Perry, J. Klein, and M. Keijzer. Push 3.0 programming language description. Technical Report HC-CSTR-2004-02, Hampshire College School of Cognitive Science, 2004. http://hampshire.edu/lspector/push3-description.html.
28. L. Spector and A. Robinson. Genetic programming and autoconstructive evolution with the push programming language. Genetic Programming and Evolvable Machines, 3(1):7-40, Mar. 2002.
29. K. Stoffel and L. Spector. High-performance, parallel, stack-based genetic programming. In J. R. Koza, D. E. Goldberg, D. B. Fogel, and R. L. Riolo, editors, Genetic Programming 1996: Proceedings of the First Annual Conference, pages 224-229, Stanford University, CA, USA, 28-31 July 1996. MIT Press.
30. E. Tchernev. Forth crossover is not a macromutation? In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference, pages 381-386, University of Wisconsin, Madison, Wisconsin, USA, 22-25 July 1998. Morgan Kaufmann.
31. P. A. Whigham and R. I. McKay. Genetic approaches to learning recursive relations. In X. Yao, editor, Progress in Evolutionary Computation, volume 956 of Lecture Notes in Artificial Intelligence, pages 17-27. Springer-Verlag, 1995.
32. M. L. Wong. Applying adaptive grammar based genetic programming in evolving recursive programs. In S.-B. Cho, H. X. Nguyen, and Y. Shan, editors, Proceedings of The First Asian-Pacific Workshop on Genetic Programming, pages 1-8, Rydges (lakeside) Hotel, Canberra, Australia, 8 Dec. 2003.
33. M. L. Wong and K. S. Leung. Evolving recursive functions for the even-parity problem using genetic programming. In P. J. Angeline and K. E. Kinnear, Jr., editors, Advances in Genetic Programming 2, chapter 11, pages 221-240. MIT Press, Cambridge, MA, USA, 1996.
34. M. L. Wong and K. S. Leung. Learning recursive functions from noisy examples using generic genetic programming, In J. R. Koza, D. E. Goldberg, D. B. Fogel, and R. L. Riolo, editors, Genetic Programming 1996: Proceedings of the First Annual Conference, pages 238-246, Stanford University, CA, USA, 28-31 July 1996. MIT Press.
35. G. T. Yu. An Analysis of the Impact of Functional Programming Techniques on Genetic Programming. PhD thesis, University College, London, Gower Street, London, WC1E 6BT, 1999.
36. T. Yu. Hierachical processing for evolving recursive and modular programs using higher order functions and lambda abstractions. Genetic Programming and Evolvable Machines, 2(4):345-380, Dec. 2001.
37. T. Yu. A higher-order function approach to evolve recursive programs. In Genetic Programming Theory and Practice 3. Kluwer, 2005. To appear.
38. T. Yu and C. Clack. Recursion, lambda abstractions and genetic programming. In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference, pages 422-431, University of Wisconsin, Madison, Wisconsin, USA, 22-25 July 1998. Morgan Kaufmann.