Revisão sistemática sobre programação por esboço

Para este projeto buscamos realizar uma Revisão Sistemática dentro da área de Geração por Esboço. Síntese de programas é a tarefa de encontrar automaticamente um programa numa determinada linguagem de programação. Este problema tem sido considerado o santo graal da Ciência da Computação. Alguns pesquisadores consideram a síntese de programas como um dos problemas centrais da teoria da programação. Dentro desta área encontra-se a técnica Geração por esboço, na qual a visão do programador é comunicada por meio de um programa parcial, que tem buracos no lugar dos detalhes do programa. Além disso, revisão sistemática é uma modalidade de pesquisa, que segue protocolos específicos, e que busca entender e dar alguma logicidade a um grande corpus documental. Foca no seu caráter de reprodutibilidade por outros pesquisadores, apresentando de forma explícita todos os processos e métodos. Espera-se que o documento gerado seja referência na área pesquisada e útil para a tomada de decisão. As fases desenvolvidas no projeto são as seguintes: revisão da base teórica; estudo aprofundado de síntese de programas; estudo vertical de programação por esboço; por fim, revisão sistemática da literatura. A última fase se subdividiu nos seguintes passos: 1- a delimitação da questão; 2- a seleção das bases de dados; 3- elaboração da estratégia de busca; 4- seleção, sistematização e equipe; 5- análise dos artigos aceitos. Ao longo da análise dos artigos, foram identificadas diversas conclusões sobre cada subárea de pesquisa identificada. Em suma, percebe-se grande investimento na área para desenvolver soluções para diversos problemas utilizando geração por esboço. Dentre as soluções mais abordadas nos artigos, destacam-se: CEGIS, solucionadores SMT e SAT, técnicas simbólicas, e técnicas de aprendizagem de máquina.

For this project we seek to carry out a Systematic Review within the area of ​​Generation by Sketch. Program synthesis is the task of automatically finding a program in a given programming language. This problem has been considered the holy grail of Computer Science. Some researchers consider program synthesis as one of the central problems of programming theory. Within this area is the Generating by Sketch technique, in which the programmer's vision is communicated through a partial program, which has holes in place of program details. In addition, systematic review is a type of research, which follows specific protocols, and which seeks to understand and give some logic to a large corpus of documents. It focuses on its reproducibility by other researchers, explicitly presenting all processes and methods. It is expected that the generated document will be a reference in the researched area and useful for decision making. The phases developed in the project are the following: review of the theoretical basis; in-depth study of program synthesis; vertical study of programming by sketch; finally, a systematic review of the literature. The last phase was divided into the following steps: 1- the delimitation of the question; 2- the selection of databases; 3- elaboration of the search strategy; 4- selection, systematization and team; 5- analysis of accepted articles. Throughout the analysis of the articles, several conclusions were identified about each identified research subarea. In short, there is a large investment in the area to develop solutions to various problems using sketch generation. Among the solutions most discussed in the articles, the following stand out: CEGIS, SMT and SAT solvers, symbolic techniques, and machine learning techniques.