-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Alloy Program Synthesizer with Genetic Algorithm (APS-GA) is part of the Program Synthesis Model Finder (PSMF) project. (version 2023-February)
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 algorithm. 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.
You are more than welcome to Leave a message to the authors:
- Alexandre Correia (alexandre.correia@ifsertaope.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.