Genetic programming with statically scoped local variables
Evan Kirshenbaum · 2000
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables are bound at time of use. An algorithm is presented for generating trees which obey this invariant, and an extension to the crossover operator is presented which preserves it. New genetic operators are described which abstract subexpressions to variables and delete variables. Finally, extensions of this work to iteration and functional constructs are discussed.