Maarten Keijzer
ABSTRACT
This paper defines the push-forth language, a recombination of Push [3] and Joy [7], borrowing type-safety considerations from Alp [2]. Push-forth is stack-based, strongly typed and easy to extend. The concept of an Evolutionary Development Environment is presented, and some informal experiments are described to illustrate the utility of such an environment.
- Christopher Diggins. Simple type inference for higher-order stack oriented languages. Technical Report Cat-TR-2008-001, http://www.cdiggins.com, USA, 4 September 2008.Google Scholar
- M. Keijzer, V. Babovic, C. Ryan, M. O'Neill, and M. Cattolico. Adaptive logic programming. In Lee Spector, Erik D. Goodman, Annie Wu, W. B. Langdon, Hans-Michael Voigt, Mitsuo Gen, Sandip Sen, Marco Dorigo, Shahram Pezeshk, Max H. Garzon, and Edmund Burke, editors, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), pages 42--49, San Francisco, California, USA, 7-11 July 2001. Morgan Kaufmann.Google Scholar
- Lee Spector. Autoconstructive evolution: Push, pushGP, and pushpop. In Lee Spector, Erik D. Goodman, Annie Wu, W. B. Langdon, Hans-Michael Voigt, Mitsuo Gen, Sandip Sen, Marco Dorigo, Shahram Pezeshk, Max H. Garzon, and Edmund 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.Google Scholar
- Lee Spector, Jon Klein, and Maarten Keijzer. The push3 execution stack and the evolution of control. In Hans-Georg Beyer, Una-May O'Reilly, Dirk V. Arnold, Wolfgang Banzhaf, Christian Blum, Eric W. Bonabeau, Erick Cantu-Paz, Dipankar Dasgupta, Kalyanmoy Deb, James A. Foster, Edwin D. de Jong, Hod Lipson, Xavier Llora, Spiros Mancoridis, Martin Pelikan, Guenther R. Raidl, Terence Soule, Andy M. Tyrrell, Jean-Paul Watson, and Eckart Zitzler, editors, GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation, volume 2, pages 1689--1696, Washington DC, USA, 25-29 June 2005. ACM Press. Google ScholarDigital Library
- Lee Spector, Chris Perry, and Jon Klein. Push 2.0 programming language description. Technical report, School of Cognitive Science, Hampshire College, April 2004.Google Scholar
- Lee Spector, Chris Perry, Jon Klein, and Maarten Keijzer. Push 3.0 programming language description. Technical Report HC-CSTR-2004-02, School of Cognitive Science, Hampshire College, USA, 10 September 2004.Google Scholar
- Manfred von Thun. Joy: Forth's functional cousin. In Proceedings from the 17th EuroForth Conference, 2001.Google Scholar
Index Terms
- Push-forth: a light-weight, strongly-typed, stack-based genetic programming language
Recommendations
Genetic Programming and Autoconstructive Evolution with the Push Programming Language
Push is a programming language designed for the expression of evolving programs within an evolutionary computation system. This article describes Push and illustrates some of the opportunities that it presents for evolutionary computation. Two ...
The Lambda library: unnamed functions in C++
The Lambda Library (LL) adds a form of lambda functions to C++, which are common in functional programming languages. The LL is implemented as a template library using standard C++; thus no language extensions or preprocessing is required. The LL ...
PolyAML: a polymorphic aspect-oriented functional programming language
Proceedings of the tenth ACM SIGPLAN international conference on Functional programmingThis paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of Poly<SMALL>AML</SMALL> is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features. ...
Comments