By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Sanko, J. ; Dept. of Comput. Sci., Tallinn Univ. of Technol., Tallinn, Estonia ; Penjam, J.

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.

Published in:

Evolutionary Computation (CEC), 2010 IEEE Congress on

Date of Conference:

18-23 July 2010