School of Computing

Semantically driven crossover in genetic programming

Lawrence Beadle and Colin G Johnson

In IEEE World Congress on Computational Intelligence, pages 182-196. IEEE, January 2008.


Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic analysis of programs, which forces each crossover to make candidate programs take a new step in the behavioural search space. We demonstrate how this technique results in better performance and smaller solutions in two separate genetic programming experiments.

Download publication 632 kbytes (PDF)

Bibtex Record

author = {Lawrence Beadle and Colin G Johnson},
title = {Semantically Driven Crossover in Genetic
month = {January},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {7915_1214826071},
    ISBN = {978-1-4244-1823-7},
    organization = {IEEE},
    refereed = {Yes},
    booktitle = {IEEE World Congress on Computational Intelligence},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014