-
Notifications
You must be signed in to change notification settings - Fork 0
Home
(version 2018-April)
Program synthesis aims to mechanize the task of programming. We built a PSMF system to extend the synthesis competency of a general purpose imperative program synthesizer, which works on the integers’ domain, accepting as specification sketches and a tiny set of user examples. The PSMF system embeds into the synthesizer some concepts of genetic algorithms and genetic programming’s mutations. So far, the system has helped the synthesizer to perform better the synthesis task of programs that itself already had been able to and discover new ones, reducing the user’s intervention at different stages of the process.
Please have a look at PSMF-install-run-notes.pdf file into the code folder. We assume you have the Java™ Platform, Standard Edition Development Kit (JDK™) 6 or above installed in your computer.
Here is a short video showing how to install the system.
You are more than welcome to Leave a message to the authors:
- Alexandre Correia (alexandre.correia@ifsertao-pe.edu.br);
- Juliano Manabu Iyoda (jmi@cin.ufpe.br); and
- Alexandre Cabral Mota (acm@cin.ufpe.br).
- The Federal Institute of Education and Technology at Sertao Pernambucano - Petrolina - Brazil.
- The Federal University of Pernambuco - Recife - Brazil.