Differential evolutionary approach guided by the Functional Constraint Network to solve program synthesis problem

In this paper we consider two different research areas - Constraint Satisfaction Problems and Evolutionary Methods - in the terms of program synthesis. The paper discusses how a Functional Constraint Network could guide Differential Evolution search for achieving an effective program synthesis system. We propose an evolutionary approach for program synthesis from a formal relational specification that is augmented by input-output examples of the desired program behavior.