Title :
Differential evolutionary approach guided by the Functional Constraint Network to solve program synthesis problem
Author :
Sanko, Jelena ; Penjam, Jaan
Author_Institution :
Dept. of Comput. Sci., Tallinn Univ. of Technol., Tallinn, Estonia
Abstract :
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.
Keywords :
constraint handling; evolutionary computation; formal specification; constraint satisfaction problems; differential evolutionary approach; formal relational specification; functional constraint network; input-output examples; program synthesis problem; Algorithm design and analysis; Complexity theory; Cost accounting; Equations; Evolutionary computation; Heuristic algorithms; Search problems;
Conference_Titel :
Evolutionary Computation (CEC), 2010 IEEE Congress on
Conference_Location :
Barcelona
Print_ISBN :
978-1-4244-6909-3
DOI :
10.1109/CEC.2010.5586092
