Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming

Castle, Tom, Johnson, Colin G. (2012) Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming. In: Moraglio, Alberto and Silva, Sara and Krawiec, Krzysztof and Machado, Penousal and Cotta, Carlos, eds. Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012. LNCS , 7244. pp. 182-196. Springer, Malaga (doi:10.1007/978-3-642-29139-5_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30818)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL: http://www.cs.kent.ac.uk/pubs/2012/3202

Abstract

We present a set of extensions to Montana's popular Strongly Typed Genetic Programming system that introduce constraints on the structure of program trees. It is demonstrated that these constraints can be used to evolve programs with a naturally imperative structure, using common high-level imperative language constructs such as loops. A set of three problems including factorial and the general even-n-parity problem are used to test the system. Experimental results are presented which show success rates and required computational effort that compare favourably against other systems on these problems, while providing support for this imperative structure.

Item Type:	Conference or workshop item (Paper)
DOI/Identification number:	10.1007/978-3-642-29139-5_1
Uncontrolled keywords:	determinacy analysis, Craig interpolants
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Colin Johnson
Date Deposited:	21 Sep 2012 09:49 UTC
Last Modified:	09 Mar 2023 11:32 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/30818 (The current URI for this page, for reference purposes)

University of Kent Author Information

Castle, Tom.

Creator's ORCID:
CReDIT Contributor Roles:

Johnson, Colin G..

Creator's ORCID:	https://orcid.org/0000-0002-9236-6581
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.