tutorial

Push-forth: a light-weight, strongly-typed, stack-based genetic programming language

Author:

Maarten KeijzerAuthors Info & Claims

GECCO '13 Companion: Proceedings of the 15th annual conference companion on Genetic and evolutionary computation

Pages 1635 - 1640

https://doi.org/10.1145/2464576.2482742

Published: 06 July 2013 Publication History

Get Access

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.

References

[1]

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

[2]

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

[3]

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

[4]

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.

Digital Library

Google Scholar

[5]

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

[6]

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

[7]

Manfred von Thun. Joy: Forth's functional cousin. In Proceedings from the 17th EuroForth Conference, 2001.

Google Scholar

Cited By

View all

Koopman PLubbers M(2023)Strongly-Typed Multi-View Stack-Based ComputationsProceedings of the 25th International Symposium on Principles and Practice of Declarative Programming10.1145/3610612.3610623(1-12)Online publication date: 22-Oct-2023
https://dl.acm.org/doi/10.1145/3610612.3610623
Homer MBeckmann THirschfeld RSáenz JMerino M(2022)Interleaved 2D Notation for Concatenative ProgrammingProceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3563836.3568722(1-10)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563836.3568722
Perez ERios OBautista DSanchez SAcevedo F(2021)A Genetic Algorithm Solution for Scheduling Problem2021 XVII International Engineering Congress (CONIIN)10.1109/CONIIN54356.2021.9634725(1-10)Online publication date: 14-Jun-2021
https://doi.org/10.1109/CONIIN54356.2021.9634725
Show More Cited By

Index Terms

Push-forth: a light-weight, strongly-typed, stack-based genetic programming language
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Specialized application languages
    2. General programming languages
      1. Language types
        Functional languages

Recommendations

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 ...
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 ...
Poly_AML: a polymorphic aspect-oriented functional programming language
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

This paper defines Poly_AML, 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

Information & Contributors

Information

Published In

GECCO '13 Companion: Proceedings of the 15th annual conference companion on Genetic and evolutionary computation

July 2013

1798 pages

ISBN:9781450319645

DOI:10.1145/2464576

Editor:
Christian Blum
IKERBASQUE and University of the Basque Country UPV/EHU, Spain
,
General Chair:
Enrique Alba
University of Malaga, Spain

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Tutorial

Conference

GECCO '13

Sponsor:

SIGEVO

GECCO '13: Genetic and Evolutionary Computation Conference

July 6 - 10, 2013

Amsterdam, The Netherlands

Acceptance Rates

Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
227
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Koopman PLubbers M(2023)Strongly-Typed Multi-View Stack-Based ComputationsProceedings of the 25th International Symposium on Principles and Practice of Declarative Programming10.1145/3610612.3610623(1-12)Online publication date: 22-Oct-2023
https://dl.acm.org/doi/10.1145/3610612.3610623
Homer MBeckmann THirschfeld RSáenz JMerino M(2022)Interleaved 2D Notation for Concatenative ProgrammingProceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3563836.3568722(1-10)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563836.3568722
Perez ERios OBautista DSanchez SAcevedo F(2021)A Genetic Algorithm Solution for Scheduling Problem2021 XVII International Engineering Congress (CONIIN)10.1109/CONIIN54356.2021.9634725(1-10)Online publication date: 14-Jun-2021
https://doi.org/10.1109/CONIIN54356.2021.9634725
La Cava WDanai KSpector L(2016)Inference of compact nonlinear dynamic models by epigenetic local searchEngineering Applications of Artificial Intelligence10.1016/j.engappai.2016.07.00455:C(292-306)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1016/j.engappai.2016.07.004
La Cava WHelmuth TSpector LDanai KEsparcia-Alcázar A(2015)Genetic Programming with Epigenetic Local SearchProceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation10.1145/2739480.2754763(1055-1062)Online publication date: 11-Jul-2015
https://dl.acm.org/doi/10.1145/2739480.2754763

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

The Lambda library: unnamed functions in C++

Genetic Programming and Autoconstructive Evolution with the Push Programming Language

PolyAML: a polymorphic aspect-oriented functional programming language

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations

Poly_AML: a polymorphic aspect-oriented functional programming language