- Represent the hypothesis using a program, instead of a string.
- Popularize by John Koza's books on the subject.
- The program is represented by its parse tree.
- As such, the programs are always in Lisp.
- The crossover operator is applied by choosing two nodes and exchanging their subtrees.