Home

Program Synthesis Model Finder (PSMF)

(version 2018-April)

Purpose

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.

How to install and run on Windows, Linux or Mac Operation Systems

Please have a look at PSMF-install-run-notes.pdf file into the code folder.

Contact the authors

You are more than welcome to Leave a message to the authors:

• Alexandre Correia ([email protected]);
• Juliano Iyoda ([email protected]); and
• Alexandre Mota ([email protected]).

Work together for Education

• The Federal Institute of Education and Technology at Sertao Pernambucano - Petrolina - Brazil.
• The Federal University of Pernambuco - Recife - Brazil.

This software is free for any Educational Purpose :)