Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking.

Sabrina Tseng, Erik Hemberg, Una-May O'Reilly

Browse the full EUROGP paper archive.